git-ssh-push/pull: usability improvements