ci: when releasing, create a PR instead of pushing to main (#13)

### Summary of Changes Since we use required workflows, nobody can currently push to main. See this discussion: https://github.com/orgs/community/discussions/43890
Safe-DS · Mar 14, 2023 · 53d8eac · 53d8eac
1 parent a2bf2fc
commit 53d8eac
Show file tree

Hide file tree

Showing 4 changed files with 684 additions and 58 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -13,3 +13,5 @@ jobs:
       PYPI_TOKEN: ${{ secrets.PYPI_TOKEN }}
     permissions:
       contents: write
+      issues: write
+      pull-requests: write