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.
Correct on both accounts. src.fp.o has no idea who someone is until they log in
via the user-interface, so the same thing applies for group membership.
Pierre