Il 11/02/22 20:24, Kevin Fenzi ha scritto: > 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. > mmm... I suppose that, even if a user only uses CLI to push a commit, pagure needs to verify its credentials and associates the commit to the user in the web UI... so pagure MUST know about the user in its database. My guess is that those 666 users (why I wrote 756 before???!) have never interacted with src.fedoraproject.org. They may be leftovers of users in the packager group which were active before the switching to pagure. Also, I don't think that following an unresponsive maintainer procedure the user is removed from the packager group. Anyway, I've filed a FESCO ticket at https://pagure.io/fesco/issue/2759 as a formal proposal. Mattia _______________________________________________ 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
