On Fri, Feb 11, 2022 at 11:33:13AM +0000, Mattia Verga via devel wrote: > Il 11/02/22 12:20, Florian Weimer ha scritto: > > * Mattia Verga via devel: > > > >> Il 11/02/22 10:41, Miro Hrončok ha scritto: > >>> On 11. 02. 22 10:12, Mattia Verga via devel wrote: > >>>> Where are those 2543 packagers come from? src.fedoraproject.org only > >>>> shows 1787 users in the packager group: > >>>> > >>>> https://src.fedoraproject.org/api/0/group/packager > >>> They might have never even logged into src.fedoraproject.org > >>> > >> \o/ So, I think those 756 can be added to the removal list as well... > > Why? Isn't logging into src.fedoraproject.org optional from a workflow > > perspective? > > > I suppose "logging" means that src.fedoraproject.org has no knowledge > about that user... so that user never pushed any commit / PR / comment. I don't think just pushing a commit would log you into pagure. You need to login to the web interface for it to create/refresh your account. PR's and comments would definitely, but just pushing commits would not. > Have I misunderstood? Does src.fedoraproject.org not recognize a user to > be in the packager group if they never logged in and only pushed things > by CLI? I think that is indeed the case, but I'm not 100% sure. Perhaps Pingou could chime in on this. kevin
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
