Skip to content

rc-docs-sync: fix jq precedence bug in 'Fetch recent open documentation PRs'#403

Merged
enricobattocchi merged 1 commit into
mainfrom
rc-docs-sync-fix-fetch-prs-jq
Jun 1, 2026
Merged

rc-docs-sync: fix jq precedence bug in 'Fetch recent open documentation PRs'#403
enricobattocchi merged 1 commit into
mainfrom
rc-docs-sync-fix-fetch-prs-jq

Commits

Commits on Jun 1, 2026