[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory per
From: |
Maxime Devos |
Subject: |
bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions |
Date: |
Mon, 29 Aug 2022 15:09:23 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 |
On 29-08-2022 14:57, Thompson, David wrote:
Hi Maxime,
I disagree. I believe we shouldn't let perfect be the enemy of the
good. I haven't sent patches to Guix in quite some time, but I've
never felt roadblocked like this and it is concerning to me.
It's almost trivial to implement 'the perfect' here, almost no more
effort than your partial solution; there is no "perfect enemy of the
good" situation here -- "perfect enemy of the good" only applies when
"the perfect" is significantly harder / more effort than "the good", but
that's not the case here.
Given that a proper fix is very easy, simple and low-effort and
furthermore, it is even known what form the proper fix would take (see:
extra field, + adjust procedure in (gnu build activation) slightly),
there aren't any roadblocks except for an apparent refusal by you to
invest a little extra effort.
If you genuinely find it actually hard to implement, please tell so and
I can give you some pointers on what procedures appear to be need to be
modified. Currently, your response appears to be made in bad faith t me.
Greetings,
Maxime
OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
- bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/19
- bug#56444: Patch to fix Gitolite home directory permissions, Maxime Devos, 2022/08/23
- bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/23
- bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/29
- bug#56444: Patch to fix Gitolite home directory permissions, Maxime Devos, 2022/08/29
- bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/29
- bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions,
Maxime Devos <=
- bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Maxime Devos, 2022/08/29
- bug#56444: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Maxime Devos, 2022/08/29
- bug#56444: [EXT] Re: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/29
- bug#56444: [EXT] Re: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Maxime Devos, 2022/08/29
- bug#56444: [EXT] Re: [EXT] Re: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, Thompson, David, 2022/08/29
- bug#56444: [EXT] Re: [EXT] Re: [EXT] Re: bug#56444: Patch to fix Gitolite home directory permissions, zimoun, 2022/08/29
- bug#56444: Gitolite home directory permissions, Ludovic Courtès, 2022/08/30
- bug#56444: [EXT] Re: bug#56444: Gitolite home directory permissions, Thompson, David, 2022/08/30
- bug#56444: Gitolite home directory permissions, david larsson, 2022/08/30