From 4d84371cc5d6287432eedce1d06cf1f851d10551 Mon Sep 17 00:00:00 2001
From: Yuri Astrakhan <YuriAstrakhan@gmail.com>
Date: Thu, 12 Oct 2023 02:02:03 -0400
Subject: [PATCH] use token for remote PR creation

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9e91374a..2ec408a7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -627,7 +627,7 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         uses: peter-evans/create-pull-request@v3
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.GH_HOMEBREW_MARTIN_TOKEN }}
           commit-message: "Update to ${{ github.ref }}"
           title: "Update to ${{ github.ref }}"
           body: "Update to ${{ github.ref }}"