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.
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? Mattia _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
