From 1c742902b629d295d78de45d236a1329c1626cc0 Mon Sep 17 00:00:00 2001 From: Derek Misler Date: Thu, 2 Jul 2026 14:14:29 +0000 Subject: [PATCH] ci: add concurrency group and remove bot filter in pr-review-trigger MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Add a concurrency group keyed on PR number to prevent duplicate reviews from simultaneous review_requested events. Remove the sender.type != 'Bot' guard so Dependabot PRs remain reviewable — per maintainer feedback, those reviews are useful for catching behavior changes in dependency updates. Signed-off-by: Derek Misler --- .github/workflows/pr-review-trigger.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/pr-review-trigger.yml b/.github/workflows/pr-review-trigger.yml index c176020256e5..1ecc03b098dc 100644 --- a/.github/workflows/pr-review-trigger.yml +++ b/.github/workflows/pr-review-trigger.yml @@ -7,8 +7,17 @@ on: permissions: {} +# Deduplicate simultaneous pull_request events for the same fork PR. +# When reviewers are requested at the same time, GitHub fires multiple +# review_requested events. Without this group each event triggers a +# separate review via workflow_run, producing duplicate reviews. +concurrency: + group: pr-review-trigger-${{ github.event.pull_request.number }} + cancel-in-progress: true + jobs: save-context: + if: github.event.pull_request.head.repo.fork runs-on: ubuntu-latest steps: - name: Save event context