Learning from this blog post that GitHub has 1200 MySQL servers.