Improvements to tlaplus/ghostferry_share_safety.tla#385

grodowski wants to merge 1 commit intoverify_share_nowait_with_tla+Shopify/ghostferry:verify_share_nowait_with_tla+from

grodowski/patch-ghostferry_share_safety_Shopify/ghostferry:grodowski/patch-ghostferry_share_safety_Copy head branch name to clipboard