GitHub repository: summercms/wgmeeting-github-ircbot
Description: IRC bot to make github comments with relevant sections of Working Group Meeting IRC minutes.  Running as @css-meeting-bot.