When a down PR has been merged, the local branch is not deleted during `sync` when restacking: <img width="468" height="67" alt="Image" src="https://github.com/user-attachments/assets/be8ddcb1-1f7a-4abc-810f-a36b853142b4" /> (skipped but the local branch still exist)
When a down PR has been merged, the local branch is not deleted during
syncwhen restacking:(skipped but the local branch still exist)