[PATCH] Prevent git-rev-list without --merge-order producing duplicates in output
[git/dscho.git] / git-reset-script
blobeaefd00d9d1e8adddb56040af0156d209815cc89
1 #!/bin/sh
2 git-read-tree --reset HEAD
3 git-update-cache --refresh