Repository navigation

Re-Read a Deleted Ref Before Reporting DELETE_NOT_CONFIRMED - #3480

Merged

ptr727 merged 3 commits into

fix/cleanup-reread-deleted-ref

Oct 25, 2026

Merged

Re-Read a Deleted Ref Before Reporting DELETE_NOT_CONFIRMED#3480
ptr727 merged 3 commits into
developfrom
fix/cleanup-reread-deleted-ref

Commits on Oct 25, 2026
- Re-Read a Deleted Ref Before Reporting DELETE_NOT_CONFIRMED
  
  ptr727
  and
  claude
  committed
  81f2918
- Stop the Settle Re-Read at a Tip Other Than the Deleted One
  
  ptr727
  and
  claude
  committed
  278e49a
- Word the New-Tip Delete Message Without Assuming the Delete Landed
  
  ptr727
  and
  claude
  committed
  2c71411