The new (and hopefully improved) Gitter bot. - View it on GitHub