ci: open PR to homebrew-private-tap and auto-merge with scoped bypass - #24

Merged

YogevKr merged 11 commits into

mainfrom

chore/homebrew-tap-pr-based-release

Apr 14, 2026

Commits on Apr 14, 2026

ci: open PR to homebrew-private-tap and auto-merge with scoped bypass

YogevKr
and
claude
committed
14c189c
ci: make tap PR flow idempotent and bind merge to validated SHA

YogevKr
and
claude
committed
c0b0070
ci: consolidate tap PR validation + drop admin from merge

YogevKr
and
claude
committed
5496719
chore: re-trigger reviews
YogevKr
committed
d1d1a0c
ci: make homebrew-private-tap URL explicit on fetch and push

YogevKr
and
claude
committed
88cba70
chore: re-trigger after thread resolution
YogevKr
committed
11871c4
ci: use --force instead of --force-with-lease for tap push

YogevKr
and
claude
committed
2432170
ci: disambiguate existing-PR lookup against the org's own head repo

YogevKr
and
claude
committed
4735dce
ci: use explicit-lease form for tap push

YogevKr
and
claude
committed
26852ed
ci: use REST pulls API with head=Sawmills:$BRANCH to scope PR lookup

YogevKr
and
claude
committed
b0468ea
chore: refresh review state
YogevKr
committed
5b65b29