Removed alias for "git push" (gp) since it can be confused with "git pull".