[PATCH] Document git-ssh-pull and git-ssh-push