An irc bot for #codersjgec on irc.mozilla.org