[SERVER-59089] Stale links to TLA+ specs from Replication README Created: 04/Aug/21  Updated: 29/Oct/23  Resolved: 18/Aug/21

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 5.1.0-rc0

Type: Bug Priority: Trivial - P5
Reporter: A. Jesse Jiryu Davis Assignee: A. Jesse Jiryu Davis
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Operating System: ALL
Sprint: Server Serverless 2021-08-23
Participants:

 Description   

The Replication README in src/mongo/db/repl/README.md has links to view TLA+ specs on GitHub.com. These URLs point to the files on the 4.4 branch. Let's convert them to "master".



 Comments   
Comment by Vivian Ge (Inactive) [ 06/Oct/21 ]

Updating the fixversion since branching activities occurred yesterday. This ticket will be in rc0 when it’s been triggered. For more active release information, please keep an eye on #server-release. Thank you!

Comment by Githook User [ 18/Aug/21 ]

Author:

{'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com', 'username': 'ajdavis'}

Message: SERVER-59089 Link to latest reconfig TLA+ spec, not v4.4
Branch: master
https://github.com/mongodb/mongo/commit/ef7bc4238741aeed1491aebfcda31741caefbbe2

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