push: also use "upstream" mapping when pushing a single ref
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: fc9261ca611080b1dae76b86b3bf5f36d592042f)
-rwxr-xr-x 1886 git-new-workdir