There was an error while loading. Please reload this page.
When a down PR has been merged, the local branch is not deleted during sync when restacking:
sync
(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)