Merge pull request #80 from ergebnis/dependabot/github_actions/actions/github-script-5

github-actions(deps): bump actions/github-script from 3.1 to 5

Author: localheinz

.github/workflows/integrate.yaml

@@ -364,7 +364,7 @@ jobs:
 
     steps:
       - name: "Request review from @ergebnis-bot"
-        uses: "actions/github-script@v3.1"
+        uses: "actions/github-script@v5"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
@@ -383,7 +383,7 @@ jobs:
             })
 
       - name: "Assign @ergebnis-bot"
-        uses: "actions/github-script@v3.1"
+        uses: "actions/github-script@v5"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
@@ -402,7 +402,7 @@ jobs:
             })
 
       - name: "Approve pull request"
-        uses: "actions/github-script@v3.1"
+        uses: "actions/github-script@v5"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
@@ -417,7 +417,7 @@ jobs:
             })
 
       - name: "Merge pull request"
-        uses: "actions/github-script@v3.1"
+        uses: "actions/github-script@v5"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |

.github/workflows/triage.yaml

@@ -15,7 +15,7 @@ jobs:
 
     steps:
       - name: "Add labels based on branch name"
-        uses: "actions/github-script@v3.1"
+        uses: "actions/github-script@v5"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |