[MariaDB developers] Re: MariaDB topic on GitHub

Thanks, I'll reach out to Robin. On Mon, 10 Jun 2024 at 09:03, Otto Kekäläinen <otto@kekalainen.net> wrote:

FYI, this has been live for some months now: https://github.com/topics/mariadb

Reach out to Robin (CC'd) if you want to be a co-curator of the topic.