Skip to content

Move development to main and retire the dev branch#142

Merged
Rinzii merged 1 commit into
mainfrom
chore/main-branching-model
Jun 13, 2026
Merged

Move development to main and retire the dev branch#142
Rinzii merged 1 commit into
mainfrom
chore/main-branching-model

Conversation

@Rinzii

@Rinzii Rinzii commented Jun 13, 2026

Copy link
Copy Markdown
Owner

Retires the long-lived dev branch and points active development at main.

Changes

  • CONTRIBUTING.md: PRs now target main; all git checkout dev steps updated to main.
  • README.md: added a release-version badge tracking the latest GitHub release; relabeled CI badges as "(main)" to make the tracked branch explicit.
  • .github/PULL_REQUEST_TEMPLATE.md: PR target guidance points at main.
  • .github/dependabot.yml: target-branch changed from dev to main.
  • .github/workflows/codeql.yml: scans main and release/** instead of main/dev.

The platform CI workflows already trigger on branches: ['**'], so main and any future release/* branch are covered without change.

Context

The dev branch is being retired. Its content was already merged into main via the v0.3.0 squash (#123), so main and dev had identical trees at the time of this change.

@Rinzii Rinzii force-pushed the chore/main-branching-model branch from 7b67639 to a7d5fda Compare June 13, 2026 20:06
@Rinzii Rinzii force-pushed the chore/main-branching-model branch from a7d5fda to afe2271 Compare June 13, 2026 20:06
@Rinzii Rinzii changed the title Move development to main and adopt LLVM-style release branches Move development to main and retire the dev branch Jun 13, 2026
@Rinzii Rinzii merged commit 390379f into main Jun 13, 2026
34 checks passed
@Rinzii Rinzii deleted the chore/main-branching-model branch June 13, 2026 20:08
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