A bot for #odoo-it IRC channel