gp is simply git push, not git push origin HEAD
Merge branch 'freeagent' of github.com:hale/dotfiles into freeagent