added some more aliases for git
added git push alias