push: rename config variable for more general use
[gitweb.git] / t / t1013 / objects / 8d /
drwxr-xr-x   parent (dest: t/t1013/objects; base: 1184564eac8e)
-rw-r--r-- 156 4e360d6c70fbd72411991c02a09c442cf7a9fa