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`.