?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[PATCH] Use enhanced diff_delta() in the similarity estimator.
[git/jrn.git] / git-reset-script
blobfe773388c9d55fdb87967bc04765fa94a83bf2c7
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"
Jonathan Nieder’s miscellaneous git branches