From a6221e3670d0fcf5c1a61307b6cbd50d454902eb Mon Sep 17 00:00:00 2001 From: Quentin Gliech Date: Fri, 24 Jan 2025 16:30:37 +0100 Subject: [PATCH] Fix creation of release PRs --- .github/workflows/release-branch.yaml | 1 + .github/workflows/release-bump.yaml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/release-branch.yaml b/.github/workflows/release-branch.yaml index be0e26408..286c991dc 100644 --- a/.github/workflows/release-branch.yaml +++ b/.github/workflows/release-branch.yaml @@ -107,6 +107,7 @@ jobs: - name: Open a pull request to merge the branch into main env: VERSION: ${{ needs.compute-version.outputs.short }} + GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }} run: | gh pr create \ --title "Release branch $VERSION" \ diff --git a/.github/workflows/release-bump.yaml b/.github/workflows/release-bump.yaml index 7200cfa39..5bef26c46 100644 --- a/.github/workflows/release-bump.yaml +++ b/.github/workflows/release-bump.yaml @@ -88,6 +88,7 @@ jobs: if: github.event.inputs.merge-back env: VERSION: ${{ needs.compute-version.outputs.version }} + GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }} run: | gh pr create \ --title "Release branch $VERSION" \