MDEV-38328: Promote getting to 10k GitHub stars in server log and client prompt
Summary
MariaDB's PR #4262 proposes adding a promotional line to the server client prompt and logs urging users to star the GitHub repository. The pull request includes code changes to client/mysql.cc and sql/mysqld.cc, along with tests and multiple reviews, reflecting the tension between community-building incentives and user experience in an OSS project.