TOPPERSでメーリングリストが廃止されていた

users@toppers.jpというメーリングリストを購読していたのだが、 2023年7月7日に廃止されていた。 移行先はGitHub Discussionsになるそうだ。 電子メールが流行っていないのは確かな気がするが、電子メールほどオープンな規格もない訳で、簡単には同じ決断はできない気がする。