Added git push alias to bashrc.