git push: remove incomplete options list from help text