Bug #75076 Manual does not point to MySQL source code on github

• Submitted: 2 Dec 2014 18:29
• Modified: 17 Dec 2014 18:02
• Reporter: Sveta Smirnova
• Status: Closed
• Category: MySQL Server: Documentation
• Severity: S3 (Non-critical)
• Version: 5.7.6
• OS: Any
• Assigned to: Daniel So
• CPU Architecture: Any

[2 Dec 2014 18:29] Sveta Smirnova

Description:
MySQL launched GitHub repository for MySQL in September (http://mysqlrelease.com/2014/09/mysql-on-github/) and looks like it contains more latest source code than repository at Launchpad.

At least https://code.launchpad.net/mysql-server says that last commit to Bazaar tree was made at 2014-03-19 (7626. Fix for bugs 18402580 and 18402999, a... )

And https://github.com/mysql/mysql-server says that last commit from September, 18 is different (Follow patch to WL #6936, cset 8785 from trunk)

At the same time User Reference Manual does not mention GitHub repo at all at the "Installing MySQL Using a Development Source Tree" page at http://dev.mysql.com/doc/refman/5.7/en/installing-development-tree.html

How to repeat:
Compare http://bazaar.launchpad.net/~mysql/mysql-server/5.7/revision/7626 and https://github.com/mysql/mysql-server/commit/f964f6b37337b98d467c1e9fb7914c1655a08e84

Suggested fix:
Mention GitHub repository at http://dev.mysql.com/doc/refman/5.7/en/installing-development-tree.html at least for version 5.7, but better for all versions affected (5.5, 5.6, 5.7).

[17 Dec 2014 18:02] Daniel Price

Posted by developer:
 
The manual has been updated to include information about development source code on GitHub. The following content has been revised:

http://dev.mysql.com/doc/refman/5.5/en/installing-development-tree.html
http://dev.mysql.com/doc/refman/5.6/en/installing-development-tree.html
http://dev.mysql.com/doc/refman/5.7/en/installing-development-tree.html

http://dev.mysql.com/doc/internals/en/getting-source-tree-git.html