From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 175DA5D5 for ; Sun, 30 May 2021 16:24:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,234,1616454000"; d="scan'208,217";a="510689230" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2021 18:23:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C6D8AE0C5F; Sun, 30 May 2021 18:23:58 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 55BD5E0B0B for ; Sun, 30 May 2021 18:23:51 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f173.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3ABPOpxRKCgQzIv40G0NmcuABhWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCGtLM33QaCDd6TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yuS/94fNbwhMmTaxbrB/IRurpgjNq8cahpdvJLwswRXTuHtIf?= =?us-ascii?q?OpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBn?= =?us-ascii?q?MVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0i?= =?us-ascii?q?ScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsleVyJDDY2?= =?us-ascii?q?8YYUBDPcPM/hEoITmvVQCsQGzCBOwCO/zyDJFgGL9060g0+QmFAHLxA0uEMgVv?= =?us-ascii?q?3TOrdX6KqMSWv2owqbUzTXMcelW1inn6IPVdR0hruuDUqlqccrQ10YvExnJjk6?= =?us-ascii?q?MpozlITyVzPoCs3KA4upvUOKgkW8nqwVrrjezwccsj5DEi4QIwV/L6St32pw6J?= =?us-ascii?q?cGkSEFle96kFoNduS+HOoV5Tc0uXW9mtSYkx7MGtpO3YjUHxpsnyhLBb/GKcYu?= =?us-ascii?q?F7g/tWeueLzp1hXJodb2+ihu97EWs1vHwW9e73ltMsyFLnN7MtnUX2BzS7MiKU?= =?us-ascii?q?vV8/keg2TaTyQ/T8/xELloularYMZIhxaQwlpULvUTNBC/5hlv5jKmRdko55Oe?= =?us-ascii?q?k8eLnbav6ppKaKoR6iRn+P7wwlsCjBek0KAsDUmiB9eih1bDv4Vf1TKhIg/A4l?= =?us-ascii?q?KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmGMILFNBeB6elojpJ0zCLOn2Dfu?= =?us-ascii?q?igVmhni1nx//BPr3mDZXNKmbMnK39crZ67k5Q0AszzdZB6JJIErwNPu7/V0vru?= =?us-ascii?q?NHbDhI1KRG4zuf7BNlny48TW2yCDrecMKzIsF+I4uwvI/OLZI8QoDv9JOIq6OX?= =?us-ascii?q?0jX84h1AdebOl3YALZ3C4APtmOVuWYWD3j9cOFGcFpAs+TOjwhFKeVj5TYm6+X?= =?us-ascii?q?7gg6TEjFIKmEYDDS5ixj7Ob2Se7GoRaZmRHClCXDXflbJ6EWvcJaCKKOMBtiD0?= =?us-ascii?q?EVb67S48gzx6irgH6y6A0ZtbTrwQUr5Pu0pBT7uHej1lm/DBuDsmb+2eKU2Iym?= =?us-ascii?q?XkHEWwYxqd69GN0wE2C3KwwuPdYGMZe/bsdXQ4wL5/Ry6phAND/QA/bVtiMQVe?= =?us-ascii?q?iBN6hBGdiHZoK39YSbhMlSJ2ZhRfZ0n/vWudN/1RkLJMx+6PYmXP2IpQko54j/?= =?us-ascii?q?KYkhlgiBMBIMD/+7kae3w3aBoqMilnA0qjzKv9a0ynK+2OOi2GJuRMAODM=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Am1EL7KirX37d5CJgR2nWzce+mnBQXucji2hC?= =?us-ascii?q?6mlwRA09TyX+rbHIoB17726RtB86Xm0mhMuRG6+KYX60z/JICOwqVotKMzONhI?= =?us-ascii?q?LFFuBfBPLZrQEIeBeOldK1t50MT0EWMrSZMbETt6nHCWKDc+rIruP3kpxAct2u?= =?us-ascii?q?qktQcQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CVBgC2u7Ngf62gVdFaHAEBATwBAQQEA?= =?us-ascii?q?QECAQEHAQGBQQEBK4E8AgEBgRVLVjsxhEiBHpBQA4tVj3mBaAsBAwENEgEBIQw?= =?us-ascii?q?EAQGEUAKBfgIdBwEENBMCBBUBAQUBAQECAQMDBAETAQENCwsIJxyFaA2COCkBg?= =?us-ascii?q?2MBAQMBEhEdARsdAQMBCwYFBAc3AgIiAREBBQEcBhMiglCCVAEDDiEPm0+BBD2?= =?us-ascii?q?LMoEVBQEXgQGCCAaEWQoZKA1jA4FWAgcSgSYCAQEBAYVmAhNASAEBhmEnEIFVR?= =?us-ascii?q?IFLgj0vPoQKZ4JqgmQEgkcqgQAQgXNDTYx0hAYEqiIsB4McgSYGC4dDgRSTWwU?= =?us-ascii?q?lg16BQolZll+BdoR9iTCHPIl9kxWFERAjgUiBfTMaI1AxgjgJRxkOkWskhFk7h?= =?us-ascii?q?UxCLwI2AgYBCQEBAwmLWgEB?= X-IPAS-Result: =?us-ascii?q?A0CVBgC2u7Ngf62gVdFaHAEBATwBAQQEAQECAQEHAQGBQQE?= =?us-ascii?q?BK4E8AgEBgRVLVjsxhEiBHpBQA4tVj3mBaAsBAwENEgEBIQwEAQGEUAKBfgIdB?= =?us-ascii?q?wEENBMCBBUBAQUBAQECAQMDBAETAQENCwsIJxyFaA2COCkBg2MBAQMBEhEdARs?= =?us-ascii?q?dAQMBCwYFBAc3AgIiAREBBQEcBhMiglCCVAEDDiEPm0+BBD2LMoEVBQEXgQGCC?= =?us-ascii?q?AaEWQoZKA1jA4FWAgcSgSYCAQEBAYVmAhNASAEBhmEnEIFVRIFLgj0vPoQKZ4J?= =?us-ascii?q?qgmQEgkcqgQAQgXNDTYx0hAYEqiIsB4McgSYGC4dDgRSTWwUlg16BQolZll+Bd?= =?us-ascii?q?oR9iTCHPIl9kxWFERAjgUiBfTMaI1AxgjgJRxkOkWskhFk7hUxCLwI2AgYBCQE?= =?us-ascii?q?BAwmLWgEB?= X-IronPort-AV: E=Sophos;i="5.83,234,1616454000"; d="scan'208,217";a="510689174" X-MGA-submission: =?us-ascii?q?MDH8vjAMHTFJCxzikl372ApD/IqjZWPAqFBCui?= =?us-ascii?q?CefoQcFAElZV++nqYLFKmrXOOV+OX4h5qlsY/8NwYBlCa3Awq2R4bSAd?= =?us-ascii?q?4pEysMPKuIpNh3EtkRWrKOzEyFU0CBGjbgKWrenZvENCRudOC/jw09HN?= =?us-ascii?q?koSqR1IcwH9ngMxNQ8uHkADA=3D=3D?= Received: from mail-qt1-f173.google.com ([209.85.160.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 30 May 2021 18:23:26 +0200 Received: by mail-qt1-f173.google.com with SMTP id k19so6393308qta.2 for ; Sun, 30 May 2021 09:23:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=H+fWTgpjJKXH1GAQtWRQwpOLwCD293ScYArZCCDcjeQ=; b=VRx5cJkv4HjcEpjVIt1rfrLX87+PQnV3p7AUau+sqLZPZ3v3+UvUVdsUCtXMdzVfwL TkOKidZiulTpk5ZSKL0joRguUND4aK40PQbUfk14PIvwbUN5oovUZjE8r+HXbvX0ufEC dTduueCXsiZqpVu7lqBLE1AAldg7kflGqKSzG9pVMXNsvvrCvwyMZUDCd2icd9aZpksL IlMQXenOd5FSmrcErgftwYefdVwYXQQN00N3HsnJ58dSfZOxzTPWun4mHV0CHwRHwMed nITLOh7BUex+Zm5Sn3Rho4pzZwvkFUlZIlou3ba4digyLIymyHShsbyk2166st9UBNA9 Sd3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=H+fWTgpjJKXH1GAQtWRQwpOLwCD293ScYArZCCDcjeQ=; b=AETBSLoGg+3ESemaLltM9kXnpR4ssKSiFn+Ew5t09xOJCe+ZSanEIwgTwYJKB604Lc a3FCx88kZ1MPePdQfLYOoV0ZqZdmCZ9Q89I9kdK3ZLxpYc8UL34YtIBxFlds9tpcd2wK kfDvoTCb9vH7ifVlJfJ0PfZqyRyTR63at7KAXM0nTSGvZHL/KibhDBWkhtxLMNWeJ5wk /amDT4W60oT8UgMmtBMmzlGP8AKf0z2m2LJtx+skkpkYX4lCoyT7VyxnQ5a79KYwPS4M Uc2zeQ8OZaY6WkVe6C0CdDEqQlW7h5FYprCzdQHVENcqBEPu5VY2+C14azSHBAxcT0QC 3Afg== X-Gm-Message-State: AOAM530b9eRf3iTyLu1g72F+z1J+An10zzJl/eFS/DUsoTCIop/slRi0 fjwl04+6HWa14uUmiRY2UT8yChGMoFAnRVEgycHijtYOiqs= X-Google-Smtp-Source: ABdhPJynPbDPHZ+nSppzquoDbmip74EXzrL//Uv2Nw+lKBJBBpE6L2JVGAuZSvQdDz+c1JavGVXrcq5hMwvX/ZgeDMs= X-Received: by 2002:ac8:7c50:: with SMTP id o16mr11296461qtv.153.1622391804354; Sun, 30 May 2021 09:23:24 -0700 (PDT) MIME-Version: 1.0 References: <20210520081605.GA32553@notk.org> <20210526140102.GA22143@notk.org> <20210527083438.GA29013@notk.org> In-Reply-To: <20210527083438.GA29013@notk.org> From: Gabriel Scherer Date: Sun, 30 May 2021 18:22:48 +0200 Message-ID: To: Adrien Nader Cc: caml users , whitequark Content-Type: multipart/alternative; boundary="0000000000002f630805c38e87ec" Subject: Re: [Caml-list] IRC channels available on libera.chat Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 18512 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --0000000000002f630805c38e87ec Content-Type: text/plain; charset="UTF-8" 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 > --0000000000002f630805c38e87ec Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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
--0000000000002f630805c38e87ec--