MariaDB: Promote getting to 10k GitHub stars in server log and client prompt

Резюме: Проект MariaDB: Promote getting to 10k GitHub stars в открытом доступе предлагает командам возможность реузить уже существующую инфраструктуру backend-с