[MariaDB developers] Re: MariaDB topic on GitHub

Thanks Otto, we will implement the other suggestions. However, while the MariaDB topic does exist, it's not as good as it could be, and it's not a curated topic. See https://github.com/topics/mariadb and https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-des... For making updates here, the contribution guidelines state "If you are a direct employee of a company creating the project, or the creator and sole maintainer, it's unlikely to be accepted" so it's not something we can do directly. Would you be interested in curating the topic?

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. - Otto