diff options
| author | Théo Zimmermann | 2019-07-10 18:24:34 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-10 18:24:34 +0200 |
| commit | 727ba947a05d5e20ee49ef633ce5cadccc35ac57 (patch) | |
| tree | c996680a10b34d9cf2fbd809601f8446c6649b20 /dev | |
| parent | 1bc1c838e9329938d7a8df2e82059504720f4589 (diff) | |
| parent | 876f767ef55585e4ed186db3f1d8589cbd4605c1 (diff) | |
Merge PR #10506: merge-pr.sh: filter reviews to remove the PR author
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/tools/merge-pr.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/tools/merge-pr.sh b/dev/tools/merge-pr.sh index 425f21de70..c0a3eeb11c 100755 --- a/dev/tools/merge-pr.sh +++ b/dev/tools/merge-pr.sh @@ -209,7 +209,8 @@ has_state() { [ "$(jq -rc 'map(select(.user.login == "'"$1"'") | .state) | any(. == "'"$2"'")' <<< "$reviews")" = true ] } -for reviewer in $(jq -rc 'map(.user.login) | unique | join(" ")' <<< "$reviews" ); do +author=$(echo "$PRDATA" | jq -rc '.user.login') +for reviewer in $(jq -rc 'map(.user.login | select(. != "'"$author"'")) | unique | join(" ")' <<< "$reviews" ); do if has_state "$reviewer" APPROVED; then msg=$(printf '%s\n' "$msg" | git interpret-trailers --trailer Reviewed-by="$reviewer") elif has_state "$reviewer" COMMENTED; then |