It's working now. Thanks. On Thu, May 16, 2019 at 12:34 AM R. Tyler Croy <[email protected]> wrote:
> (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. > -- https://github.com/LinuxSuRen -- 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/CAMM7nTEfcdyL9HJ1KrxbSH3RmH%2B-%3D-wtMFkiawSQH%2BoNPZwiUA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
