Merge branch 'main' into docs/publish_docs

Author: mdelmans

.github/workflows/release.yml

@@ -20,7 +20,10 @@ on:
 jobs:
   release_workflow:
     runs-on: ubuntu-latest
-
+    if: >
+      (github.event_name == 'workflow_dispatch') ||
+      (github.event.pull_request.merged == true &&
+      startsWith(github.event.pull_request.head.ref, 'release/'))
     steps:
     - name: Gitflow action
       id: gitflow-action