<sharkdp>
Hi all. I haven't been active in the channel recently. I am planning to migrate this channel to Discord. I know that this might not be a popular decision, especially on this platform. But the reality is that all my other projects are on Discord. And I simply don't want to have to deal with IRC + logging anymore. It's also not like we ever had more than 6 people here in this channel, so ...
<sharkdp>
... I hope this is an understandable decision.
<sharkdp>
I understand that it can be frustrating for those of you who might not want to join Discord for one reason or another. You can always contact us on GitHub (issues or discussions) as well. Or reach me personally on mail@david-peter.de
<sharkdp>
triallax: Thank you very much for setting up this channel + logging the first place.
<sharkdp>
achin: Thank you very much for investing time into a Numbat IRC bot!