Make it easier to "git push origin HEAD"