[ocaml-infra] Request to start a gitter.im room for github:ocaml/ocaml and a bridge to IRC

Gabriel Scherer gabriel.scherer at gmail.com
Mon Jul 11 19:55:27 BST 2016

My understanding is that the bridge logs one IRC user per gitter user (the
nick is derived from the github username, so it's longer than usual IRC
nicknames), but has a single gitter user/bot that says "<user> on Freenode:
<message>", as you can see in the logs.

I would thus guess that moderation may need cooperation from both sides --
a troll on IRC needs to be silenced on IRC, and a troll on gitter to use
gitter's moderation feature, whatever they are. If this turned to be a
problem, we could cut the bridge.

I would definitely consider a requirement that someone volunteers to
perform gitter-side administration and moderation duties.

On Mon, Jul 11, 2016 at 2:42 PM, Adrien Nader <adrien at notk.org> wrote:

> Hi,
> How are op and moderation features handled? How are the gitter users
> differentiated? Who has such rights on the gitter room?
> Just to be clear: the lack of need for moderation of #ocaml is
> exceptionally rare and such changes can impact the current balance at
> least at first so I want to make sure we won't have to discover the
> procedures in an emergency.
> --
> Adrien Nader
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/infrastructure/attachments/20160711/e09f0121/attachment.html>

More information about the Infrastructure mailing list