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

[Gabriel Scherer]

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>