We should use ADMIN_GITHUB_TOKEN for pushing workflows (#63)

alejandrohdezma · Nov 29, 2020 · 4f3f0d8 · 4f3f0d8
1 parent 37b023c
commit 4f3f0d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,6 +54,7 @@ jobs:
         if: github.event_name == 'pull_request'
         uses: actions/checkout@v2.3.4
         with:
+          token: ${{ secrets.ADMIN_GITHUB_TOKEN }}
           repository: ${{ github.event.pull_request.head.repo.full_name }}
           ref: ${{ github.event.pull_request.head.ref }}
       - name: Checkout project (master)