Reply to post:

To be fair they have a very talented and well-respected MySQL team at Github.

I would reckon the issue possibly with their Orchestrator open source tool https://githubengineering.com/mysql-high-availability-at-github/ https://github.com/github/orchestrator