adding alias for git pull. decided that gp for pull is better; push is more deliberate and less often, i should type that.