http-push: reuse existing is_null_ref
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 0bf8c1f9be55ae9c6a592324582526778e45b8dd)
-rw-r--r-- 633 git-gui.sh