2 ms·Is this the official source code repository of MySQL?1 points by ziodave 13y agomadhouse 13y agoNo, 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.