Skip to content

fix: fail closed on unknown audit default branch#690

Merged
brickfrog merged 4 commits into
mainfrom
main.bead-sweep-completion-protocol-leaf-you-1783632269806-3429071-1
Jul 9, 2026
Merged

fix: fail closed on unknown audit default branch#690
brickfrog merged 4 commits into
mainfrom
main.bead-sweep-completion-protocol-leaf-you-1783632269806-3429071-1

Conversation

@brickfrog

@brickfrog brickfrog commented Jul 9, 2026

Copy link
Copy Markdown
Owner

Summary

  • Route the actual merge_pr gate through Result-based default-branch detection so git failure blocks before merge-host execution.
  • Treat empty/whitespace symbolic-ref output as unknown, preserving the legacy fallback helper for non-gating callers.
  • Add direct merge-path and empty-output regression coverage.

Verification

  • moon test --target native — 2,280 passed
  • moon run src/bin/choir_lint --target native — passed

Verification

Generated by Choir from commands executed in the leaf workspace.

  • moon test --target native
    • exit: 0
    • head: 70d660b
    • output tail:
----- BEG5
IN MOON TEST RESULT -----
{"type":"start","file":"exec_test.mbt","index":9}
----- END MOON TEST RESULT -----
Total tests: 2280, passed: 2280, failed: 0.
  • moon run src/bin/choir_lint --target native

@brickfrog

Copy link
Copy Markdown
Owner Author

Choir: GitHub Actions rollup reports all checks successful on the latest head — re-check review/merge policy on GitHub (not an approval or merge signal by itself).

@brickfrog brickfrog force-pushed the main.bead-sweep-completion-protocol-leaf-you-1783632269806-3429071-1 branch from eb75cad to 7b9a76f Compare July 9, 2026 21:56
@brickfrog

Copy link
Copy Markdown
Owner Author

Choir: GitHub Actions rollup reports all checks successful on the latest head — re-check review/merge policy on GitHub (not an approval or merge signal by itself).

@brickfrog

Copy link
Copy Markdown
Owner Author

Choir: GitHub Actions rollup reports all checks successful on the latest head — re-check review/merge policy on GitHub (not an approval or merge signal by itself).

@brickfrog brickfrog merged commit da4755b into main Jul 9, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant