Re: removing permissions for long unused accounts, take 2

On Thu, Mar 9, 2023 at 8:49 AM Paul Smith wrote: > > On Thu, 2023-03-09 at 15:54 +0100, Bruno Haible wrote: > > If you have a checkout of GNU gnulib, in order to successfully do a > > "git pull" again, you will have to change the .git/config file, > > Is it better to suggest Git's CLI interface

Re: removing permissions for long unused accounts, take 2

On Thu, 2023-03-09 at 15:54 +0100, Bruno Haible wrote: > If you have a checkout of GNU gnulib, in order to successfully do a > "git pull" again, you will have to change the .git/config file, Is it better to suggest Git's CLI interface for this, than edit the file? For example git remote

Re: removing permissions for long unused accounts, take 2

Continuing the thread from July 2022 . Paul Eggert wrote: > Since Gnulib is partially downstream from glibc I suggest also retaining > people who have committed to glibc in the last four years. We want to > encourage

Re: removing permissions for long unused accounts, take 2

On Wed, Jul 13, 2022 at 11:54:03AM +0200, Simon Josefsson via Gnulib discussion list wrote: > Bruno Haible writes: > > > Therefore I would now like to actually do it. > > Thanks for working on this, it is important! > > Maybe I am getting old, but one year seems like a fairly short period of

Re: removing permissions for long unused accounts, take 2

Since Gnulib is partially downstream from glibc I suggest also retaining people who have committed to glibc in the last four years. We want to encourage collaboration with Glibc, which is an essential low-level part of the GNU toolchain (and if they can commit there they can do even more

Re: removing permissions for long unused accounts, take 2

Bruno Haible writes: > Therefore I would now like to actually do it. Thanks for working on this, it is important! Maybe I am getting old, but one year seems like a fairly short period of time. The list would be shortened with the following names if we used two years: Daiki Ueno

Re: removing permissions for long unused accounts, take 2

On Tue, Jul 12, 2022 at 10:18 PM Bruno Haible wrote: > Hi, > > I started this topic in 2021, in [1]: a proposal to remove write > permissions from accounts who haven't pushed in a long while. > There was agreement [2] that contributors who had not directly pushed > a commit in a year could be

Re: removing permissions for long unused accounts, take 2

Hi Bruno, On Wed, Jul 13, 2022 at 8:18 AM Bruno Haible wrote: > > Dmitry Selyutin > OK to proceed? I'm fine with revoking my write permissions. I still have plans to check on Python gnulib, but, if I will do it, it's simple to restore the permissions. Until then, let's follow the principle of

removing permissions for long unused accounts, take 2

Hi, I started this topic in 2021, in [1]: a proposal to remove write permissions from accounts who haven't pushed in a long while. There was agreement [2] that contributors who had not directly pushed a commit in a year could be revoked the write permission. The discussion ended with the