?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[PATCH] Update git-tag-script to create the .git/refs/tags if it does not already...
[git/jrn.git] / git-reset-script
blob0c02aa6423ec485e19bd7439c926addbb8fd029d
1 #!/bin/sh
2 . git-sh-setup-script || die "Not a git archive"
3 git-read-tree --reset HEAD
4 git-update-cache --refresh
5 rm -f "$GIT_DIR/MERGE_HEAD"
Jonathan Nieder’s miscellaneous git branches