Add aliases for pushing to github