Skip to content

prsync tabs --close-merged: one all-no-PR search chunk marks tickets unknown and vetoes every merged close - #398

Merged
jaeyeom merged 1 commit into
mainfrom
issue-397-close-merged-empty-chunk
Oct 14, 2026
Merged

jaeyeom merged 1 commit into
mainfrom
issue-397-close-merged-empty-chunk

prsync close-merged: trust an empty search chunk when the sweep mappe…

b1edc33
Select commit
Loading
Failed to load commit list.