use token for remote PR creation

This commit is contained in:
Yuri Astrakhan 2023-10-12 02:02:03 -04:00
parent 3c24ae226a
commit 4d84371cc5

View File

@ -627,7 +627,7 @@ jobs:
if: startsWith(github.ref, 'refs/tags/') if: startsWith(github.ref, 'refs/tags/')
uses: peter-evans/create-pull-request@v3 uses: peter-evans/create-pull-request@v3
with: with:
token: ${{ secrets.GITHUB_TOKEN }} token: ${{ secrets.GH_HOMEBREW_MARTIN_TOKEN }}
commit-message: "Update to ${{ github.ref }}" commit-message: "Update to ${{ github.ref }}"
title: "Update to ${{ github.ref }}" title: "Update to ${{ github.ref }}"
body: "Update to ${{ github.ref }}" body: "Update to ${{ github.ref }}"