[Jenkins-infra] A small snafu this morning with jenkinsci/jenkins.git

[R. Tyler Croy]

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: rtyler at jabber.org

  % gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F
------------------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20170915/7b40c02e/attachment.asc>