Shortcuts to git push.