Can't find users in plugin hosting request

18 views
Skip to first unread message

priya jagyasi

unread,
Apr 21, 2022, 2:41:31 AM4/21/22
to Jenkins Infrastructure
Hi,

I want my team members to have commit permissions on the Jenkins plugin repository, I am requesting on repository-permissions-updater . I am trying to add them under "GitHub Users to have commit permissions' list but can't find them. My team members have a gitHub account that I am trying to add.
Is there any permission required or anything needed to see them on the list?

Thanks,
Priya

Tim Jacomb

unread,
Apr 21, 2022, 3:16:47 AM4/21/22
to jenkin...@googlegroups.com
Hi

No permissions are required, check their account name is right at https://github.com/$username

Thanks
Tim


--
You received this message because you are subscribed to the Google Groups "Jenkins Infrastructure" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkins-infr...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/jenkins-infra/243d3a87-74aa-435f-8d47-618678c661b0n%40googlegroups.com.

priya jagyasi

unread,
Apr 22, 2022, 10:59:06 AM4/22/22
to Jenkins Infrastructure
Hi,

The account name I am trying to add is https://github.com/ashu248 . When I search with username, it's not coming up in suggestions. If I add this user, would it be valid or not?

Priya.

Gavin Mogan

unread,
Apr 22, 2022, 12:03:26 PM4/22/22
to Jenkins Infrastructure
yes it'll be valid
> --
> You received this message because you are subscribed to the Google Groups "Jenkins Infrastructure" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to jenkins-infr...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/jenkins-infra/4337c31c-68ff-427e-b126-5d38a56cfd28n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages