[PATCH] ssh-push.c: Fix handling of ssh://host/path URLs
[git.git] / git-reset-script
1 #!/bin/sh
2 git-read-tree --reset HEAD
3 git-update-cache --refresh