From: Chad Joan <chadjoan@gmail.com>
Date: Tue, 01 Mar 2011 20:46:46 GMT
Subject: Re: Git changes permissions on directories when deleting files.
Message-ID: <AANLkTi=UX7VNH+biFgn0FQawP-ttCjW2D7SMf2n6XB6w@mail.gmail.com>
In-Reply-To: <vpqmxlea7w1.fsf@bauges.imag.fr>

On Tue, Mar 1, 2011 at 3:43 PM, Matthieu Moy
<Matthieu.Moy@grenoble-inp.fr> wrote:
> Chad Joan <chadjoan@gmail.com> 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/
>

OK, I'll try that when I get a chance.

- Chad