Dec 27, 2023 Learning from this blog post that GitHub has 1200 MySQL servers. Also on Bluesky Manton Reece @manton
