?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Make rev-list flush the stdio buffers after each rev.
[git/dscho.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"
Dscho's miscellaneous git branches