push: support pushing HEAD to real branch name
[git] / RelNotes
1 Documentation/RelNotes-1.5.4.txt