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

Clone Jepsen repo in 10gen/mongo using specific tags

XMLWordPrintableJSON

    • Type: Icon: Task Task
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 6.0.16, 7.0.10, 7.3.3, 8.0.0-rc5
    • Affects Version/s: None
    • Component/s: None
    • None
    • Correctness
    • v8.0, v7.3, v7.0, v6.0

      https://github.com/10gen/mongo/blob/master/evergreen/jepsen_docker/setup.sh currently clones a few Jepsen forks:

      git clone --branch=evergreen-master git@github.com:10gen/jepsen.git jepsen
...
git clone --branch=no-download-master git@github.com:10gen/jepsen-io-mongodb.git jepsen/docker/control/mongodb

      This makes it more volatile by cloning from a moving target. Release tags have been introduced in 
      jepsen-io-mongodb and 10gen/jepsen, and the cloning maneuver should anchor to those.

       

            Assignee:
            steve.mcclure@mongodb.com Steve McClure
            Reporter:
            steve.mcclure@mongodb.com Steve McClure
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: