Bash Profile: edited git push/pull aliases