git push is 3 letters too tedious!