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

Yotam Barnoy yotambarnoy at gmail.com
Tue Jul 12 00:27:20 BST 2016

Something that just occurred to me is that trolling on the gitter side
is unlikely. This is because to participate in the conversation, one
needs to log in using a github account, and trolls would be
potentially ruining their github reputation (which relies on stars and
such). This is unlike IRC trolls, who can connect anonymously and
switch nicknames ad nauseum.

Regardless, I'd be willing to monitor the gitter room if that is ok
with the infrastructure team. Since I am disconnected from the
Internet some of the time though, having another moderator would be a
good idea.


On Mon, Jul 11, 2016 at 3:22 PM, Anil Madhavapeddy <anil at recoil.org> wrote:
> I'd be happy to set up a small VM or container for the purposes of the bridge.  From an infrastructure perspective, I just need a reliable point of contact in case of abuse, and some assurance that the service will be moderated reasonably.
> I'd prefer not to share other projects' servers if possible, as this leads to a tangled mess quite quickly (especially in this day and age when webhooks are all the rage and establish dependencies quite fast).
> Anil
>> On 11 Jul 2016, at 19:55, Gabriel Scherer <gabriel.scherer at gmail.com> wrote:
>> 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
>> _______________________________________________
>> Infrastructure mailing list
>> Infrastructure at lists.ocaml.org
>> http://lists.ocaml.org/listinfo/infrastructure
> _______________________________________________
> Infrastructure mailing list
> Infrastructure at lists.ocaml.org
> http://lists.ocaml.org/listinfo/infrastructure

More information about the Infrastructure mailing list