bash aliases and git push default