Merge pull request #375 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 · 3752293 · 3752293
2 parents 825611c + b5c59c5
commit 3752293
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
@@ -366,7 +366,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: |
@@ -385,7 +385,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: |
@@ -404,7 +404,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 }}"
@@ -420,7 +420,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: |