projects / git.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[PATCH] git-ssh-pull: commit-id consistency
[git.git] / git-reset-script
1 #!/bin/sh
2 : ${GIT_DIR=.git}
3 git-read-tree --reset HEAD
4 git-update-cache --refresh
5 rm -f "$GIT_DIR/MERGE_HEAD"
The core git plumbing