Is this the official source code repository of MySQL?

code.launchpad.net

1 pointziodave1 comment

No, it is not. It's a "code hosting" thing, which is semi-official, but is more like a code dump than a repository used for development.