Dear Adrien (and list),

Thanks for taking care of the migration!

I don't use IRC regularly anymore (it eats my time and makes my content hard to find again), but I have made good use of whitequark's excellent IRC log services over the last decade

  https://freenode.irclog.whitequark.org/ocaml/

Currently the log looks like #ocaml on freenode is still being logged, but this channel is now empty.

(Of course logs still exist for any past discussions.)

Is there a similar log service for the libera.chat channel?

whitequark's webpage has a "Contact whitequark if your channel migrated to another network" message, has anyone done so for #ocaml? (If not, I just cc-ed whitequark.)

Best

On Thu, May 27, 2021 at 10:35 AM Adrien Nader <adrien@notk.org> wrote:

Hello,

Hopefully this is the last part of the story.

Yotam Barnoy has set up the discord bot to use libera.chat.

The matrix bridge is unofficially available now. The schema has changed
and is now #ocaml:libera.chat . Some downtime should be expected in the
near future but the fact is that the bridge is available.

If you have control over something that still mentions freenode.net,
please update it to use libera.chat instead.

Thanks,

--
Adrien