Chatter bot IRC interface to manage GitHub Issues