http-push: avoid a needless goto
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 7fea9c551436a98edf4ab6840de981f99b7db687)
-rw-r--r-- 404 git-gui.sh