push: support pushing HEAD to real branch name
[gitweb.git] / gitweb /
drwxr-xr-x   parent (dest: ; base: 47d996a20c3347bb9efbb44e8ed2d615cfdffba3)
-rw-r--r-- 8084 INSTALL
-rw-r--r-- 3143 README
-rw-r--r-- 164 git-favicon.png
-rw-r--r-- 208 git-logo.png
-rw-r--r-- 7125 gitweb.css
-rwxr-xr-x 167493 gitweb.perl
drwxr-xr-x - test