Skip to content

Closeout: TAG_RE doc comment + final-attempt sleep #15

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

Closeout: TAG_RE doc comment + final-attempt sleep #15

Show file tree
Hide file tree
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
8 changes: 4 additions & 4 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 @@ -156,8 +156,8 @@ jobs:
// lead-in / version token / rest-of-line (verbatim, carries any annotations).
export const PIN_LINE_RE = /^(\s*(?:-\s+)?uses:\s+)([\w.-]+\/[\w./-]+)@([0-9a-f]{40})(\s+#\s*)(v?\d[^\s#]*)(.*)$/;

// Tags eligible as version comments: v-optional dotted numerics with an
// optional prerelease suffix.
// Tags eligible as version comments: v-optional dotted numerics with
// optional prerelease and build-metadata suffixes (SemVer §9–10).
export const TAG_RE = /^v?\d+(\.\d+){0,2}(-[0-9A-Za-z.-]+)?(\+[0-9A-Za-z.-]+)?$/;

const LS_REMOTE_LINE_RE = /^([0-9a-f]{40})\trefs\/tags\/([^\s^]+)(\^\{\})?$/;
Expand Down Expand Up @@ -583,12 +583,12 @@ jobs:
# 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
for attempt 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
[ "$attempt" = "6" ] || sleep 5
done
if [ "$(jq 'length' <<<"$prs")" != "1" ]; then
echo "::error::expected exactly one open repair PR after create/update"
Expand Down
4 changes: 2 additions & 2 deletions scripts/sync-action-pin-comments.mjs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,8 +35,8 @@ const execFileAsync = promisify(execFile);
// lead-in / version token / rest-of-line (verbatim, carries any annotations).
export const PIN_LINE_RE = /^(\s*(?:-\s+)?uses:\s+)([\w.-]+\/[\w./-]+)@([0-9a-f]{40})(\s+#\s*)(v?\d[^\s#]*)(.*)$/;

// Tags eligible as version comments: v-optional dotted numerics with an
// optional prerelease suffix.
// Tags eligible as version comments: v-optional dotted numerics with
// optional prerelease and build-metadata suffixes (SemVer §9–10).
export const TAG_RE = /^v?\d+(\.\d+){0,2}(-[0-9A-Za-z.-]+)?(\+[0-9A-Za-z.-]+)?$/;

const LS_REMOTE_LINE_RE = /^([0-9a-f]{40})\trefs\/tags\/([^\s^]+)(\^\{\})?$/;
Expand Down