@michael, please add a webhook to https://webhooks.gitter.im/e/08ecead3d96383ac83ea — this will allow integration with the Gitter channel I've created. Thanks!