diff options
author | Andrea Kao <eirinikos@gmail.com> | 2018-05-31 17:42:54 -0700 |
---|---|---|
committer | Sergey Vojtovich <svoj@mariadb.org> | 2019-05-08 15:04:15 +0400 |
commit | 27232a9fa26c2320e344e37b95bb46a89fa33257 (patch) | |
tree | 451ced74518dd7466b32e50560153ace735c33e5 /README.md | |
parent | f2e27d53da669912eab346783bb2f785d552631e (diff) | |
download | mariadb-git-27232a9fa26c2320e344e37b95bb46a89fa33257.tar.gz |
edit MariaDB license info so that GitHub recognizes it
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.
Signed-off-by: Andrea Kao <eirinikos@gmail.com>
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/README.md b/README.md index 230920767b4..9baeb09f6c9 100644 --- a/README.md +++ b/README.md @@ -39,8 +39,8 @@ https://launchpad.net/~maria-discuss and the #maria IRC channel on Freenode. -License: --------- +Licensing: +---------- *************************************************************************** @@ -51,8 +51,8 @@ General Public License (GPLv2). (I.e. Without the "any later version" clause.) This is inherited from MySQL. Please see the README file in the MySQL distribution for more information. -License information can be found in the COPYING, COPYING.LESSER, -and COPYING.thirdparty files. +License information can be found in the COPYING file. Third party +license information can be found in the THIRDPARTY file. *************************************************************************** |