From a2cf902e5767e0912429393eee7498c9d76cce0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Thu, 2 Jan 2025 11:57:05 +0100 Subject: [PATCH] eval/tag: remove pull request author from reviewer list --- .github/workflows/eval.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml index ab62551ce4687..dd0d28ee051e2 100644 --- a/.github/workflows/eval.yml +++ b/.github/workflows/eval.yml @@ -272,7 +272,7 @@ jobs: # There appears to be no API to request reviews based on GitHub IDs jq -r 'keys[]' comparison/maintainers.json \ | while read -r id; do gh api /user/"$id"; done \ - | jq -s '{ reviewers: map(.login) }' \ + | jq -s --arg author "${{ github.event.pull_request.user.login }}" '{ reviewers: map(.login) | map(select(. != $author)) }' \ > reviewers.json # Request reviewers from maintainers of changed output paths