Skip to content

fix(dev-loop): merging a finished PR is pre-authorized -- merge, close, clean up, then report - #507

Merged
MarkMichaelis merged 2 commits into
mainfrom
fix/499-merge-preauthorized
Sep 14, 2026
Merged

fix(dev-loop): merging a finished PR is pre-authorized -- merge, close, clean up, then report#507
MarkMichaelis merged 2 commits into
mainfrom
fix/499-merge-preauthorized

fix(dev-loop): make the local-CI confirmation verifiable, and reach e…

e3c3627
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar