[MDEV-16380] edit MariaDB license info so that GitHub recognizes it Created: 2018-06-04  Updated: 2020-11-17  Resolved: 2020-11-17

Status: Closed
Project: MariaDB Server
Component/s: Documentation
Affects Version/s: 5.5, 10.0, 10.1, 10.3, 10.4
Fix Version/s: N/A

Type: Bug Priority: Major
Reporter: Sergey Vojtovich Assignee: Sergei Golubchik
Resolution: Fixed Votes: 0
Labels: contribution, foundation


 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

 Comments   
Comment by Sergei Golubchik [ 2019-05-12 ]

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

Comment by Sergey Vojtovich [ 2019-05-12 ]

GitHub manual suggests that file name should be LICENSE rather than COPYING. I only put effort into studying licensee docs, not GitHub.

Comment by Sergei Golubchik [ 2020-11-17 ]

Works now

Generated at Thu Feb 08 08:28:29 UTC 2024 using Jira 8.20.16#820016-sha1:9d11dbea5f4be3d4cc21f03a88dd11d8c8687422.