Make the Release workflow work

[folmos-at-orange]

Description

A simple release workflow is available in (.github/workflows/release.yml) but it can't make the changes to the repository due to the branch protection system. The idea is to implement this with the GH API instead of bare git commands.

The workflow does the "git" part of the release checklist (cf (CONTRIBUTING.md)):

• Tag the merge commit with the release version (see Versioning above)
  • git switch main
  • git tag 10.3.0.1 # Just an example
• Make dev point to the merge commit just created in main
  • This is necessary to include the merge commit into master to calculate intermediary versions
    with Versioneer.
  • Steps:
    • git switch dev
    • git reset --hard main
    • git push dev (you need to remove the protections of dev for this step)

Questions/Ideas

• Some ideas (but they maybe a bit risky): https://stackoverflow.com/questions/69263843/how-to-push-to-protected-main-branches-in-a-github-action