gpp: use git push origin HEAD