[SERVER-45070] Add Creative Commons license for TLA+ specifications Created: 11/Dec/19  Updated: 29/Oct/23  Resolved: 15/Dec/19

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: 4.3.3

Type: Task Priority: Major - P3
Reporter: Tess Avitabile (Inactive) Assignee: Tess Avitabile (Inactive)
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Related
Backwards Compatibility: Fully Compatible
Sprint: Repl 2019-12-16
Participants:

 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/

 



 Comments   
Comment by Githook User [ 15/Dec/19 ]

Author:

{'name': 'Tess Avitabile', 'email': 'tess.avitabile@mongodb.com', 'username': 'tessavitabile'}

Message: SERVER-45070 Add Creative Commons license for TLA+ specifications
Branch: master
https://github.com/mongodb/mongo/commit/bc754e818ce974352bd76c850ec8dbc36620e765

Generated at Thu Feb 08 05:07:48 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.