[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." |