Tag the merge commit instead of last commit in the PR

The merge commit is more suitable since it provides some context and groups up all the commits.
2022-10-16 11:53:29 +02:00
parent d0a4c416e4
commit 4004b36bfa
1 changed files with 1 additions and 3 deletions
--- a/.github/workflows/bump-version.yml
+++ b/.github/workflows/bump-version.yml
@@ -2,9 +2,7 @@

 name: Bump version
 on:
-  pull_request:
-    types:
-      - closed
+  push:
    branches:
      - master