No, why do you think so? Among the largest users, MySQL (or Percona Server) is chosen far more frequently than MariaDB. GP mentioned Group Replication, which

No, why do you think so? Among the largest users, MySQL (or Percona Server) is chosen far more frequently than MariaDB. GP mentioned Group Replication, which isn't even available in MariaDB.