Use the devtoolsbot token to merge the PR

Author: nirinchev

.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