Documentation: improve phrasing in git-push.txt