Skip to content

coordinator: merge-local for repos with no PR CI - #18

Merged
zackees merged 1 commit into
masterfrom
no-ci
Oct 25, 2026
Merged

zackees merged 1 commit into
masterfrom
no-ci

Conversation

@zackees

@zackees zackees commented Oct 25, 2026

Copy link
Copy Markdown
Member

From the obs-studio-libs#3 worker flow test. 204 tests.

…ot always master

obs-studio-libs#12: the repo runs no workflows on PRs, so the checks gate
can never open and the PR would drift to stalled. A reviewed PR there is
now merge-local: the coordinator runs the repo's tests and lint itself,
then merges. checks says so when nothing reports. The worker skill finds
the default branch instead of assuming master (obs-studio-libs: main).
@zackees
zackees merged commit 6ee89b8 into master Oct 25, 2026
2 checks passed
@zackees
zackees deleted the no-ci branch October 25, 2026 03:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant