A Bot for Gitter.im