push: support pushing HEAD to real branch name