Use Personal Access Token instead of Github token

Default Github token does not trigger CI when bot creates a new PR. See <peter-evans/create-pull-request#48> for more details.
statiolake · Jan 9, 2020 · f06a9e0 · f06a9e0
1 parent bcfe223
commit f06a9e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -94,7 +94,7 @@ jobs:
       - name: Create Pull Request
         uses: peter-evans/create-pull-request@v2
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.REPO_SCOPED_TOKEN }}
           commit-message: "[bot] Update the crates"
           title: "[bot] Update the crates"
           body: ${{ steps.upgrade.outputs.body }}