>It's because MySQL apparently does development in-house in a git repository and only occasionally pushes it to GitHub

https://optimizedbyotto.com/post/reasons-to-stop-using-mysql...

I saw that page, but interestingly enough I don't see that quote on there