ci: push changelog and files with updated versions on release (#30)

### Summary of Changes Instead of creating a pull request with the files changed by a release, push to main again.
Safe-DS · Mar 17, 2023 · 0c0dcaa · 0c0dcaa
1 parent 34f1389
commit 0c0dcaa
Show file tree

Hide file tree

Showing 6 changed files with 61 additions and 688 deletions.
diff --git a/.github/workflows/dependency-review.yml b/.github/workflows/dependency-review.yml
@@ -2,7 +2,7 @@ name: Dependency Review
 
 on:
   pull_request:
-    branches: [main]
+    branches: [ main ]
 
 jobs:
   dependency-review:

diff --git a/.github/workflows/megalinter.yml b/.github/workflows/megalinter.yml
@@ -2,7 +2,7 @@ name: MegaLinter
 
 on:
   pull_request:
-    branches: [main]
+    branches: [ main ]
 
 jobs:
   megalinter:

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -10,8 +10,5 @@ jobs:
       working-directory: .
       python-version: "3.10"
     secrets:
+      GITHUB_PAT: ${{ secrets.PAT }}
       PYPI_TOKEN: ${{ secrets.PYPI_TOKEN }}
-    permissions:
-      contents: write
-      issues: write
-      pull-requests: write