user-manual: introduce "branch" and "branch head" differently
[git] / contrib / completion /
drwxr-xr-x   ..
-rwxr-xr-x 21730 git-completion.bash