Skip to content

Finish main default-branch migration - #15

Merged
fraware merged 1 commit into
mainfrom
chore/default-branch-main
Jul 26, 2026
Merged

Finish main default-branch migration#15
fraware merged 1 commit into
mainfrom
chore/default-branch-main

Conversation

@fraware

@fraware fraware commented Jul 26, 2026

Copy link
Copy Markdown
Owner

Summary

  • Drop master from CI on.push.branches now that the default branch is main.
  • Update STATUS / program board / admin-actions to record the rename and remaining ruleset/CODEOWNERS blockers.

Test plan

  • CI green on this PR against main
  • Confirm repo default branch remains main

Drop master from push triggers after the default-branch switch; keep it on pull_request while legacy PRs drain.
@cursor

cursor Bot commented Jul 26, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@fraware
fraware merged commit 5635df6 into main Jul 26, 2026
19 checks 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