A bot to watch pull requests on Github and report them to IRC