Re: Problem with git-push

Johannes Schindelin [off-list ref] writes:

quoted

but more importantly, if the directory in question was created by 
somebody else, I do not think this chmod() would succeed even if you are 
in the same group as the owner (i.e. previous creator) of the directory.

But if somebody else created it, it should already have the correct 
permissions in the first place (unless the user played around with them, 
which is not a pilot error, but a willfull pointing of the barrel in the 
general direction of your knee).

True; I think the yesterday's analysis is still incomplete.  I
haven't reached the point where I can explain "is a directory".
If the directory was there and mkdir() failed (but we do not
check its return value), it would have set errno to EEXIST not
to EISDIR.  There is something else going on.

quoted

[jc: I am CC'ing Johannes to blame him on commit 457f06d6;
git-pickaxe is turning out to be quite handy ;-)

I am hating the tool already.

Well, we could rename it to "git credit" ;-).