Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-45070

Add Creative Commons license for TLA+ specifications

XMLWordPrintableJSON

    • Type: Icon: Task Task
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 4.3.3
    • Affects Version/s: None
    • Component/s: Replication
    • None
    • Fully Compatible
    • Repl 2019-12-16

      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/

       

            Assignee:
            tess.avitabile@mongodb.com Tess Avitabile (Inactive)
            Reporter:
            tess.avitabile@mongodb.com Tess Avitabile (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: