Skip to content

fix(bin): verify the real GitHub merge outcome instead of reporting an unproved merge - #3064

Merged
kunchenguid merged 19 commits into
kunchenguid:mainfrom
wjkawecki-jt:fm/fm-pr-merge-verify-outcome
Aug 27, 2026
Merged

kunchenguid merged 19 commits into
kunchenguid:mainfrom
wjkawecki-jt:fm/fm-pr-merge-verify-outcome

Commits

Commits on Aug 27, 2026