Bot repo for ircpuzzles