Skip to content

Retry the repair-PR re-verification while the API catches up #13

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jeremy merged 1 commit into from
Jul 27, 2026
Merged

Retry the repair-PR re-verification while the API catches up #13

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 10 additions & 2 deletions .github/workflows/dependabot-sync-actions-comments.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -576,8 +576,16 @@ jobs:
--body "Automated comment-only repair: version comments on SHA-pinned \`uses:\` lines drifted from the tags their pins point at. Every action path and pin is byte-identical to the base commit — only comment tokens changed — so CI for this PR executes exactly the action versions already reviewed on \`${BASE_BRANCH}\`. Auto-merges once required checks pass."
fi

prs="$(gh pr list --repo "$GITHUB_REPOSITORY" --state open --head "$REPAIR_BRANCH" \
--json number,headRefOid,baseRefName,author)"
# The PR API can lag the just-completed branch push by a few seconds;
# poll until the reported head catches up before judging. Mismatch
# after the window still refuses to arm.
for _ in 1 2 3 4 5 6; do
prs="$(gh pr list --repo "$GITHUB_REPOSITORY" --state open --head "$REPAIR_BRANCH" \
--json number,headRefOid,baseRefName,author)"
[ "$(jq 'length' <<<"$prs")" = "1" ] && \
[ "$(jq -r '.[0].headRefOid' <<<"$prs")" = "$NEW_HEAD" ] && break
sleep 5
done
Comment thread
jeremy marked this conversation as resolved.
if [ "$(jq 'length' <<<"$prs")" != "1" ]; then
echo "::error::expected exactly one open repair PR after create/update"
exit 1
Expand Down