update changelog using a pull request

The action does dubious things like a force push, that can't work on main.
casimir · Aug 2, 2023 · c6f0f38 · c6f0f38
1 parent 4807613
commit c6f0f38
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/update_changelog.yml b/.github/workflows/update_changelog.yml
@@ -1,7 +1,7 @@
 name: update changelog
 on:
   release:
-    types: [published, released]
+    types: [released]
   workflow_dispatch:
 
 jobs:
@@ -15,3 +15,4 @@ jobs:
           file: CHANGELOG.md
           github_token: ${{ secrets.GITHUB_TOKEN }}
           commit_summary_template: "update changelog for %s changes"
+          pull_request: true