Merge pull request easybuilders#21795 from Micket/tagbot_merge

Actually perform temporary merge in tagbot workflow to determine PR changes

.github/workflows/tagbot.yml

@@ -29,7 +29,7 @@ jobs:
       run: |
         git config user.name "github-workflow"
         git config user.email "github-workflow@github.com"
-        git merge --no-commit --no-ff origin/${{ github.event.pull_request.base.ref }}
+        git merge --no-edit --no-ff origin/${{ github.event.pull_request.base.ref }}
       continue-on-error: true
       working-directory: pr