MariaDB asks users to star its GitHub repo in server logs and client prompt

MariaDB: Promote getting to 10k GitHub stars in server log and client prompt

A pull request for MariaDB Server, MDEV-38328, proposes adding a line to the client prompt and server logs encouraging users to star the project on GitHub, aiming for 10k stars. The change, initially rejected, was reopened after internal discussions and rebased. The proposal sparked debate, with some seeing it as a positive community appeal and others criticizing it as unprofessional for a database. The PR was ultimately merged.