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

Anil Madhavapeddy anil at recoil.org
Mon Jul 11 20:22:46 BST 2016

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).


> 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

More information about the Infrastructure mailing list