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

Article URL: https://github.com/MariaDB/server/pull/4262 Comments URL: https://news.ycombinator.com/item?id=49171068 Points: 4 # Comments: 2