make git-push a bit more verbose
[gitweb.git] / contrib / completion /
drwxr-xr-x   parent (dest: contrib; base: fa438a2eb116c71eaebecdc104a1af01ea83b9fa)
-rwxr-xr-x 8067 git-completion.bash