Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
-
Repl 2019-12-16
Description
Add the Creative Commons Attribution-3.0 United States License to the top-level folder of the
https://github.com/mongodb/mongo repository.
Update https://github.com/mongodb/mongo/blob/master/distsrc/THIRD-PARTY-NOTICES to include the following:
27) License Notice for Raft TLA+ Specification
|
--------------------------
|
|
|
https://github.com/ongardie/dissertation/blob/master/LICENSE
|
|
|
Copyright 2014 Diego Ongaro.
|
|
|
Some of our TLA+ specifications are based on the Raft TLA+ specification by Diego Ongaro.
|
At the top of specifications (e.g. this one), include the following:
Copyright 2019 MongoDB, Inc.
|
|
|
This work is licensed under:
|
- Creative Commons Attribution-3.0 United States License
|
http://creativecommons.org/licenses/by/3.0/us/
|