MDEV-38328: Promote getting to 10k GitHub stars in server log and client prompt by ottok · Pull Request #4262 · MariaDB/server

svoj added the External Contribution All PRs from entities outside of MariaDB Foundation, Corporation, Codership agreements. label Aug 27, 2025 gkodinov changed the title Promote getting to 10k GitHub stars in server log and client prompt MDEV-38328: Promote getting to 10k GitHub stars in server log and client promptDec 12, 2025 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 Server version: 12.2.0-MariaDB-1:12.2.0 mariadb.org binary distribution Copyright (c) 2000, 2018, Oracle, MariaDB Corporation Ab and others. Help others discover MariaDB. Star it on GitHub: https://github.com/MariaDB/server Type 'help;' or '\h' for help. Type '\c' to clear the current input statement. MariaDB [(none)]> Additionally, have this extra line in server logs: [Note] Help others discover MariaDB. Star it on GitHub: https://github.com/MariaDB/server This change is done in a way that it is easy to cherry-pick to older releases, and the text can later be changed to promote something else. Test file updated with: nano --noconvert --nonewlines mysql-test/main/mysql-interactive.result ottok mentioned this pull request Jun 24, 2026 Open