Merge pull request #547 from jorisv/topic/change-default-branch

Use devel as default branch

Author: jorisv

CHANGELOG.md

@@ -6,11 +6,15 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ## [Unreleased]
 
+### Changed
+
+- Change the default branch to `devel` ([#547](https://github.com/stack-of-tasks/eigenpy/pull/547))
+
 ## [3.11.0] - 2025-04-25
 
 ### Added
 
-- Add user-defined literal ""_a for bp::arg ([#545)(https://github.com/stack-of-tasks/eigenpy/pull/545))
+- Add user-defined literal ""_a for bp::arg ([#545](https://github.com/stack-of-tasks/eigenpy/pull/545))
 
 ### Fixed
 

development/release.md

@@ -6,7 +6,6 @@ To create a release with Pixi run the following commands on the **devel** branch
 EIGENPY_VERSION=X.Y.Z pixi run release_new_version
 git push origin
 git push origin vX.Y.Z
-git push origin devel:master
 ```
 
 Where `X.Y.Z` is the new version.