Skip to content

Prepare for default branch migration to main - #4905

Merged
sigurdm merged 2 commits into
masterfrom
prepare-main-migration
Sep 3, 2026
Merged

Prepare for default branch migration to main#4905
sigurdm merged 2 commits into
masterfrom
prepare-main-migration

Conversation

@sigurdm

@sigurdm sigurdm commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

This PR prepares the repository for migrating the default branch from master to main:

  • Adds .github/workflows/sync_master.yaml to continuously fast-forward master to main on every push to main.
  • Updates CI workflow triggers to run on both [main, master].
  • Updates README badge and internal doc links from master to main.

- Add .github/workflows/sync_master.yaml to continuously fast-forward master to main
- Update CI workflow triggers to include [main, master]
- Update README badge and internal doc links to main
@sigurdm
sigurdm requested review from athomas and jonasfj September 3, 2026 12:58
@sigurdm
sigurdm merged commit 51d9e82 into master Sep 3, 2026
50 of 51 checks passed
@sigurdm
sigurdm deleted the prepare-main-migration branch September 3, 2026 13:16
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.

2 participants