Repository navigation

tooling(arm): arm_pr_automerge.sh refuses a PR whose base is not main - #5824

Merged

noahgift merged 4 commits into

mainfrom

work/arm-base-main-guard

Oct 21, 2026

Merged

tooling(arm): arm_pr_automerge.sh refuses a PR whose base is not main#5824
noahgift merged 4 commits into
mainfrom
work/arm-base-main-guard

Commits on Oct 21, 2026
- tooling(arm): arm_pr_automerge refuses a PR whose base is not main (#5823 merged into #5815's branch)
  
  noahgift
  and
  claude
  committed
  c01052c
- test(arm): drive arm() with a stub gh: stacked/unreadable base -> rc 3, 0 arming calls
  
  noahgift
  and
  claude
  committed
  f367c8a
- test(arm): A20 dry-run refuses a stacked base too
  
  noahgift
  and
  claude
  committed
  08e2864
- Merge branch 'main' into work/arm-base-main-guard
  noahgift
  authored
  e8c3a27