(replies inline) On Wed, 15 May 2019, Rick wrote:
> I can see I'm a member of copy-editors. But I still cannot merge any PRs of > jenkins-infra/[1]jenkins.io As Olivier mentioned, copy-editors do have write permissions to this repo, but the branch protection was preventing that group from merging. I believe that was a mistake on my part from some long time ago. I've allowed copy-editors to write to the master branch. -- GitHub: https://github.com/rtyler GPG Key ID: 0F2298A980EE31ACCA0A7825E5C92681BEF6CEA2 -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/20190515163408.jcxd5xttv2qdtnip%40grape. For more options, visit https://groups.google.com/d/optout.
