Repository navigation

fix(hr-pr-followup): refuse to merge while a check on the head commit is unfinished or failed - #352

Merged

bompus merged 2 commits into

mainfrom

Oct 17, 2026

Merged

fix(hr-pr-followup): refuse to merge while a check on the head commit is unfinished or failed#352
bompus merged 2 commits into
mainfrom
merge-ci-gate

Commits on Oct 17, 2026
- fix(hr-pr-followup): refuse to merge while a check on the head commit is unfinished or failed
  bompus
  committed
  333bdd8
- docs(hr-pr-followup): --wait also polls while any other check runs
  bompus
  committed
  71ecf95