Abbrevations for git push/pull