Re: Git changes permissions on directories when deleting files.

Chad Joan [off-list ref] writes:

I'll do that, but it will probably take a long long time for me to see
the patch.  I'm hoping there's some cheap hack I can use to work
around it in the meantime.

I'd say grep for "rmdir" is Git's source code, and replace the calls
with a wrapper that does roughly

rmdir_wrapper(dir) {
	rmdir(dir);
	if (stat(dir, &buf))
		chmod(dir, buf.st_mode | 0777);
}

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/