chore(sync): cascade main -> dev #757

Merged
jmiller merged 4 commits from main into dev 2026-07-06 07:38:22 +00:00
Owner

Automated cascade of main into dev. Auto-merges only if conflict-free; otherwise left open for manual resolution.

Automated cascade of main into dev. Auto-merges only if conflict-free; otherwise left open for manual resolution.
jmiller added 4 commits 2026-07-06 07:38:03 +00:00
Merge pull request 'Release: org-wide governance series (#727) — dev → main' (#733) from dev into main
Sync Workflows to Repos / sync (push) Has been skipped
Cascade Main -> Dev / Cascade main -> dev (push) Successful in 6s
Universal: PR Check / Require Docs Update (pull_request) Has been skipped
Universal: PR Check / Wiki Update Reminder (pull_request) Has been skipped
Universal: PR Check / Branch Policy (pull_request) Successful in 3s
PR RC Release / Build RC Release (pull_request) Successful in 5s
Branch Cleanup / Delete merged branch (pull_request) Has been skipped
RC Revert / Rename rc/ back to dev/ (pull_request) Has been skipped
Universal: PR Check / Validate PR (pull_request) Successful in 17s
Generic: Project CI / Lint & Validate (pull_request) Successful in 44s
Generic: Project CI / Tests (pull_request) Successful in 58s
Universal: PR Check / Secret Scan (pull_request) Successful in 2m54s
Deploy MokoGitea / deploy (push) Failing after 5m51s
Universal: PR Check / Build RC Package (pull_request) Has been cancelled
Universal: PR Check / Report Issues (pull_request) Has been cancelled
bc3bb0f778
jmiller scheduled this pull request to auto merge when all checks succeed 2026-07-06 07:38:05 +00:00
jmiller merged commit 10760463f8 into dev 2026-07-06 07:38:22 +00:00
Sign in to join this conversation.