added alias for `git push hub HEAD`.