Be more backward compatible with git-ssh-{push,pull}.