Details
-
Bug
-
Status: Closed (View Workflow)
-
Major
-
Resolution: Fixed
-
5.5(EOL), 10.0(EOL), 10.1(EOL), 10.3(EOL), 10.4(EOL)
Description
GitHub uses a library called Licensee to identify a project's license
|
type. It shows this information in the status bar and via the API if it
|
can unambiguously identify the license.
|
|
|
This commit modifies a few of MariaDB's docs so that Licensee is able
|
to recognize the repository's license type. It renames the README's
|
"License" section to "Licensing" and renames COPYING.thirdparty to
|
THIRDPARTY.
|
|
|
These changes allow Licensee to bypass both files when it
|
scans the repo for license files, which thus allows Licensee to
|
successfully identify the license type of MariaDB as GPL 2.0.
|
For full information see PR: https://github.com/MariaDB/server/pull/782
Attachments
Activity
GitHub manual suggests that file name should be LICENSE rather than COPYING. I only put effort into studying licensee docs, not GitHub.
svoj, is it working? https://github.com/MariaDB/server/tree/10.2 didn't show the license and still doesn't.
Even exactly at your commit (to exclude the possibility that it worked, but was broken again by later changes): https://github.com/MariaDB/server/tree/27232a9
This is how it looks when a license it recognized: https://github.com/vuvova/gdb-tools/tree/64a9280