push: also use "upstream" mapping when pushing a single ref
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: fc9261ca611080b1dae76b86b3bf5f36d592042f)
-rw-r--r-- 687 git-gui.sh