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

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 prompt

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