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