Found on the internet today:
Upgrading GitHub.com to MySQL 8.0 : GitHub uses MySQL to store vast amounts of relational data. This is the story of how we seamlessly upgraded our production fleet to MySQL 8.0.