Access to github for ease-plugin for 2 new developers

Robert Friedman

unread,

Jan 30, 2019, 3:33:13 PM1/30/19

to Jenkins Developers

I need some help with getting new maintainers added to https://github.com/jenkinsci/ease-plugin so that they have commit access. They were added to the permissions repo in this commit: https://github.com/jenkins-infra/repository-permissions-updater/pull/933, but they never received invitations to the git repo itself. Can you please assist? Apologies if I missed a step in the process. Thanks!

Robert Friedman

unread,

Feb 14, 2019, 4:09:30 PM2/14/19

to Jenkins Developers

Help here would be appreciated, it is still unresolved. Thanks!

Slide

unread,

Feb 14, 2019, 4:22:51 PM2/14/19

to Jenkins Developer List

What are their GitHub usernames?

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/ae18a6b5-9429-47d0-89b3-fd09b460dff8%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Robert Friedman

unread,

Feb 14, 2019, 4:32:02 PM2/14/19

to Jenkins Developers

They are jrodgut-sg and fin7710. Thanks!

Slide

unread,

Feb 14, 2019, 5:19:34 PM2/14/19

to jenkin...@googlegroups.com

It should be done now. They should have invitations to the org that they will need to accept.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/0d0c707a-ca91-42f8-a504-32b6c73e9212%40googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

Website: http://earl-of-code.com

Reply all

Reply to author

Forward