On Fri, Jan 06, 2023 at 04:51:01PM +0000, Ihor Radchenko wrote:

[...]

> It is a good shelter, but I was hoping to promote Sourcehut and
> discourage people using Github to report issues in favour of Org mailing
> list.

<3

Thanks
--