message: use DEVTOOLS_GITHUB_TOKEN
diff: @@ -13,7 +13,7 @@ jobs:
  type: now
  from_branch: master
  target_branch: ${{ github.event.pull_request.head.ref }}
  - github_token: ${{ secrets.GITHUB_TOKEN }}
  + github_token: ${{ secrets.DEVTOOLS_GITHUB_TOKEN }}
  test:
  runs-on: ubuntu-latest
  needs: merge_master
  