Skip to content

Point CI at master after the default-branch rename - #3

Merged
korya merged 1 commit into
masterfrom
dmitri-ci-master-branch
Aug 6, 2026
Merged

Point CI at master after the default-branch rename#3
korya merged 1 commit into
masterfrom
dmitri-ci-master-branch

Conversation

@korya

@korya korya commented Aug 6, 2026

Copy link
Copy Markdown
Owner

Problem

Pushes to the default branch have not been running CI since it was renamed from main to master. The workflow's push trigger still names main, a branch that no longer exists, so it matches nothing. Pull-request runs were unaffected, which is why this stayed invisible — the gate looks healthy on every PR while direct pushes and post-merge runs are silently unchecked.

Solution

Point the push trigger at master.

 on:
   push:
-    branches: [main]
+    branches: [master]
   pull_request:

No other file in the repo referenced the old branch name — I grepped the tree on master before changing this, and .github/workflows/ci.yml:5 was the only hit.

No visual change.

🤖 Generated with Claude Code

The default branch is now master, but the workflow's push trigger still
named main — a branch that no longer exists. Pushes to the default
branch have been running no checks at all since the rename; only
pull_request events still fired.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01CiRDTC3E7HGD6Cbq8QeFXM
@korya
korya merged commit 4c24deb into master Aug 6, 2026
1 check passed
@korya
korya deleted the dmitri-ci-master-branch branch August 6, 2026 23:45
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