Fix #887: BUGFIX add pr gate (close v3.1.4 pr_ready timing gap) - #888

Merged

waleedkadous merged 7 commits into

mainfrom

builder/bugfix-887

May 27, 2026

Commits on May 27, 2026

chore(porch): bugfix-887 init bugfix
waleedkadous
committed
55a882a
chore(porch): bugfix-887 fix phase-transition
waleedkadous
committed
fab4ba3
[Bugfix #887] BUGFIX: add pr gate (close v3.1.4 pr_ready timing gap)
waleedkadous
committed
d5ea3e0
chore(porch): bugfix-887 pr phase-transition
waleedkadous
committed
5119299
[Bugfix #887] Update approve() comment to reflect BUGFIX pr-gate landing
waleedkadous
committed
de92d79
chore(porch): bugfix-887 pr gate-requested
waleedkadous
committed
93ea44a
[Bugfix #887] Update thread: PR opened, CMAP done, gate requested
waleedkadous
committed
c3251a7