Merge pull request #461 from ergebnis/dependabot/github_actions/actio…

…ns/github-script-v3.1 github-actions(deps): bump actions/github-script from v3.0.0 to v3.1
ergebnis · Nov 18, 2020 · ab0b295 · ab0b295
2 parents 0e96c89 + 67ec22c
commit ab0b295
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
@@ -377,7 +377,7 @@ jobs:
 
     steps:
       - name: "Request review from @${{ env.ERGEBNIS_BOT_NAME }}"
-        uses: "actions/github-script@v3.0.0"
+        uses: "actions/github-script@v3.1"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
@@ -396,7 +396,7 @@ jobs:
             })
 
       - name: "Assign @${{ env.ERGEBNIS_BOT_NAME }}"
-        uses: "actions/github-script@v3.0.0"
+        uses: "actions/github-script@v3.1"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
@@ -415,7 +415,7 @@ jobs:
             })
 
       - name: "Approve pull request"
-        uses: "actions/github-script@v3.0.0"
+        uses: "actions/github-script@v3.1"
         if: "github.actor != '${{ env.ERGEBNIS_BOT_NAME }}'"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
@@ -431,7 +431,7 @@ jobs:
             })
 
       - name: "Merge pull request"
-        uses: "actions/github-script@v3.0.0"
+        uses: "actions/github-script@v3.1"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |

diff --git a/.github/workflows/triage.yaml b/.github/workflows/triage.yaml
@@ -15,7 +15,7 @@ jobs:
 
     steps:
       - name: "Add labels based on branch name"
-        uses: "actions/github-script@v3.0.0"
+        uses: "actions/github-script@v3.1"
         with:
           github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |