push: clarify rejection of update to non-commit-ish
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: 80054cf9d53aad76631797d76ce33a56c855c61a)
-rwxr-xr-x 1886 git-new-workdir