Use the devtoolsbot token to merge the PR

mongodb-js · Nov 24, 2024 · 9a1ca3a · 9a1ca3a
1 parent 8cdfb99
commit 9a1ca3a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/prepare-release.yml b/.github/workflows/prepare-release.yml
@@ -36,6 +36,7 @@ jobs:
         with:
           branch: release/${{ steps.version.outputs.new-version }}
           title: 'chore: bump version to ${{ steps.version.outputs.new-version }}'
+          token: ${{ secrets.SVC_DEVTOOLSBOT_TOKEN }}
           draft: false
           body: |
             An automated PR for next release.

diff --git a/.github/workflows/publish-release.yml b/.github/workflows/publish-release.yml
@@ -44,7 +44,7 @@ jobs:
       - name: Merge Pull Request
         uses: juliangruber/merge-pull-request-action@9234b8714dda9a08f3d1df5b2a6a3abd7b695353 # 1.3.1
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.SVC_DEVTOOLSBOT_TOKEN }}
           number: ${{ steps.find-pull-request.outputs.number }}
           method: squash