MDEV-38328: Promote getting to 10k GitHub stars in server log and client prompt by ottok · Pull Request #4262 · MariaDB/server
github.com
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...