dev: Bunch of GH workflow fixes (#6956)

This commit is contained in:
Michael Genson
2026-01-30 09:58:49 -06:00
committed by GitHub
parent 9738d9f363
commit 920eeb26d6
3 changed files with 58 additions and 5 deletions

View File

@@ -72,6 +72,17 @@ jobs:
PR_NUMBER: ${{ github.event.pull_request.number }}
REPO: ${{ github.repository }}
run: |
APPROVED=$(gh pr view "$PR_NUMBER" \
--repo "$REPO" \
--json reviews \
--jq '.reviews[] | select(.state == "APPROVED") | .id' \
| wc -l)
if [ "$APPROVED" -gt 0 ]; then
echo "PR already approved"
exit 0
fi
gh pr review "$PR_NUMBER" \
--repo "$REPO" \
--approve \