Skip to content

fix(review): trust a linked issue closed by this PR's own merge for label propagation - #4534

Merged
JSONbored merged 1 commit into
mainfrom
fix/label-propagation-merge-close-race
Jul 9, 2026
Merged

fix(review): trust a linked issue closed by this PR's own merge for label propagation#4534
JSONbored merged 1 commit into
mainfrom
fix/label-propagation-merge-close-race

Commits

Commits on Jul 9, 2026