This morning we discovered a bug in the `ircbot` which helps with managing HOSTING requests, which temporarily, affected the main Jenkins repository (aka jenkinsci/jenkins).
The repository was incorrectly renamed and the permissions were overwritten. I have corrected the mistake, and restored 'Write' permissions to the 'Core' team in our GitHub organization. Additionally, Alex has fixed the issue in the ircbot here: https://github.com/jenkins-infra/ircbot/pull/51 I'm not 100% certian 'Core' was the only team granted Write permission on that repository, so please let me know if you see any omissions. Cheers - R. Tyler Croy ------------------------------------------------------ Code: <https://github.com/rtyler> Chatter: <https://twitter.com/agentdero> xmpp: [email protected] % gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F ------------------------------------------------------ -- 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/20170915194244.nfvdnnr7yadnv66x%40blackberry.coupleofllamas.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: PGP signature
