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: rty...@jabber.org

% gpg --keyserver keys.gnupg.net --recv-key 1426C7DC3F51E16F
------------------------------------------------------