Merge pull request #1084 from ergebnis/dependabot/github_actions/ergebnis/dot-github/actions/github/pull-request/approve-1.13.0

github-actions(deps): Bump ergebnis/.github/actions/github/pull-request/approve from 1.12.0 to 1.13.0

Author: ergebnis-bot

.github/workflows/merge.yaml

@@ -43,7 +43,7 @@ jobs:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
 
       - name: "Approve pull request"
-        uses: "ergebnis/.github/actions/github/pull-request/approve@04b5426bcc1ce207abf7bea5f5dabb15dd65786a" # 1.12.0
+        uses: "ergebnis/.github/actions/github/pull-request/approve@fa753ba19f89b4923380b19dfcd80ad7eca4def9" # 1.13.0
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"