Han-Wen Nienhuys [off-list ref] writes:
Yes, that works, thanks. Wouldn't it be more consistent with this
reasoning to disallow
git pull . LOCAL-BRANCH
too?
I do not think so.
If somebody else (or yourself) did:
$ git pull $dir LOCAL-BRANCH
(replace $dir with the `pwd` you would get in your repository),
that would work. Why shouldn't it work for yourself?