automerge to develop: use push event (#320)

Author: khassel

.github/workflows/autoupdate_develop.yaml

@@ -1,24 +1,19 @@
 name: Merge master into develop
 
 on:
-  pull_request:
+  push:
     branches:
       - master
-    types:
-      - closed
 
 permissions:
   contents: write
 
 jobs:
   merge-master-back-to-develop:
-    if: github.event.pull_request.merged == true
     timeout-minutes: 5
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
-      with:
-        token: ${{ secrets.REPO_PUSH_TOKEN }}
     - name: Merge master back to develop
       run: |
         git config --local user.email "[email protected]"