jenkinsci/backend-ircbot — pull request #6 by orrc (2012-12-14 16:34:11+00:00)
Title: Quick IRC bot fixes and improvements

I pasted in a GitHub repo URL from the mailing list earlier, and it took me a moment to realise why `jenkins-admin` failed — it expects only the username and repo name.

Now we can just paste in the full GitHub URL.

Also, I prevented the oft-occurring false positive where the bot pulls the info for issue `JENKINS-1`.