IRC bot to make github comments with relevant sections of Working Group Meeting IRC minutes. - View it on GitHub