IRC bot that runs in irc.freenode.org#fedoracoin