Can't find users in plugin hosting request

Contributing Infrastructure
,
1

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 the "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.

How can I add them ?

Thanks,
Priya

2

I’m closing this as it was answered on the mailing list.

https://groups.google.com/g/jenkins-infra/c/fhxlnHHeSek

Asking in multiple places(irc, forums, and mailing list) makes things hard to keep track of, so I think for now the thread on mailing list is best.