<div dir="ltr"><div>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.<br><br></div>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.<br><br>I would definitely consider a requirement that someone volunteers to perform gitter-side administration and moderation duties.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jul 11, 2016 at 2:42 PM, Adrien Nader <span dir="ltr"><<a href="mailto:adrien@notk.org" target="_blank">adrien@notk.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
How are op and moderation features handled? How are the gitter users<br>
differentiated? Who has such rights on the gitter room?<br>
<br>
Just to be clear: the lack of need for moderation of #ocaml is<br>
exceptionally rare and such changes can impact the current balance at<br>
least at first so I want to make sure we won't have to discover the<br>
procedures in an emergency.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Adrien Nader<br>
</font></span></blockquote></div><br></div>