[PATCH] git-ssh-pull: commit-id consistency