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