MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry. - MDEV-38328: Promote getting to 10k GitHub stars in server log and client prompt by ottok · Pull Request #4262 · MariaDB/server
MariaDB/server
Description
Ask users to give MariaDB a star by having an extra line in the MariaDB client prompt:
Welcome to the MariaDB monitor. Commands end with ; or \g.
Your MariaDB connection id is 33
Serve...source