[SERVER-51123] [polish] Update tenant migration TLA+ spec to include the donorAbortMigration command Created: 24/Sep/20  Updated: 27/May/21  Resolved: 27/May/21

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

Type: Task Priority: Major - P3
Reporter: Esha Maharishi (Inactive) Assignee: Cheahuychou Mao
Resolution: Won't Do Votes: 0
Labels: pm-1791_non-cloud-blocking, pm-1791_polish
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Sprint: Sharding 2021-05-03, Sharding 2021-05-17, Sharding 2021-05-31
Participants:

 Comments   
Comment by Jack Mulrow [ 27/May/21 ]

We don't believe this adds much value beyond the existing TLA+ spec, so closing as "Won't Do."

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