Skip to content

532 rename the dev branch to main#542

Merged
popescu-v merged 2 commits intomainfrom
532-rename-the-dev-branch-to-main
Jan 30, 2026
Merged

532 rename the dev branch to main#542
popescu-v merged 2 commits intomainfrom
532-rename-the-dev-branch-to-main

Conversation

@popescu-v
Copy link
Collaborator

@popescu-v popescu-v commented Jan 29, 2026

closes #532

TODO Before Asking for a Review

  • Rebase your branch to the latest version of dev (or main for release PRs)
  • Make sure all CI workflows are green
  • When adding a public feature/fix: Update the Unreleased section of CHANGELOG.md (no date)
  • Self-Review: Review "Files Changed" tab and fix any problems you find
  • API Docs (only if there are changes in docstrings, rst files or samples):
    • Check the docs build without warning: see the log of the API Docs workflow
    • Check that your changes render well in HTML: download the API Docs artifact and open index.html
    • If there are any problems it is faster to iterate by building locally the API Docs

@popescu-v
Use only main and main-v10 as target branches in the CI and templates
dfed62e 
Thus:
- main is renamed to main-v10
- dev is renamed to main,
- dev-v10 is merged into main-v10, then deleted.

The CI and GitHub pull request template are updated according to this change.
@popescu-v
Update CONTRIBUTING.md according to the branch renaming
9c37e1e
@popescu-v popescu-v linked an issue Jan 29, 2026 that may be closed by this pull request
Rename the 'dev' branch to 'main' #532
Closed
folmos-at-orange
folmos-at-orange approved these changes Jan 29, 2026
View reviewed changes
Copy link
Member

@folmos-at-orange folmos-at-orange left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just double check that in the Github repo's settings main is the default branch.

tramora
tramora approved these changes Jan 29, 2026
View reviewed changes
Copy link
Collaborator

@tramora tramora left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@popescu-v
Copy link
Collaborator Author

popescu-v commented Jan 30, 2026

Just double check that in the Github repo's settings main is the default branch.

This is indeed the case.

@popescu-v popescu-v merged commit 26eff62 into main Jan 30, 2026
20 checks passed
@popescu-v popescu-v deleted the 532-rename-the-dev-branch-to-main branch January 30, 2026 10:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tramora tramora tramora approved these changes

@folmos-at-orange folmos-at-orange folmos-at-orange approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Rename the 'dev' branch to 'main'

3 participants

@popescu-v @tramora @folmos-at-orange