From 09d86951b12bc0260d0163c801dac31207c25c9e Mon Sep 17 00:00:00 2001 From: Nicola Soranzo Date: Thu, 21 Nov 2024 17:13:26 +0000 Subject: [PATCH] Update title of edited PRs only if base ref changed Also: - Update title of reopened PRs too. - Don't unnecessarily checkout the repo. --- .github/workflows/pr-title-update.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr-title-update.yml b/.github/workflows/pr-title-update.yml index 6a4c5021f63d..ee47e16d84e1 100644 --- a/.github/workflows/pr-title-update.yml +++ b/.github/workflows/pr-title-update.yml @@ -2,17 +2,17 @@ name: Update PR title on: pull_request_target: - types: [opened, edited] + types: [opened, edited, reopened] branches: - "release_**" jobs: update-title: + if: github.event.action != 'edited' || github.event.changes.base.ref.from != '' runs-on: ubuntu-latest permissions: pull-requests: write steps: - - uses: actions/checkout@v4 - name: Update PR title env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} @@ -23,5 +23,5 @@ jobs: VERSION=$(echo $TARGET_BRANCH | grep -oP '\d+\.\d+') if [[ -n "$VERSION" && ! "$PR_TITLE" =~ ^\[$VERSION\] ]]; then NEW_TITLE="[$VERSION] $PR_TITLE" - gh pr edit $PR_NUMBER --title "$NEW_TITLE" + gh pr edit $PR_NUMBER --repo "${{ github.repository }}" --title "$NEW_TITLE" fi