minor bug in git push shortcut