Skip to content

ci: bump Redline to askalf/ci@00c9573 - #214

Merged
askalf merged 16 commits into
mainfrom
bot/redline-pin
Nov 12, 2026
Merged

askalf merged 16 commits into
mainfrom
bot/redline-pin

Conversation

@askalf-pin-bump

Copy link
Copy Markdown
Contributor

Moves this repository's askalf/ci pins (its reusable workflow calls, their redline-ref inputs and any action pins) to 00c9573, the main commit that last changed the review, the fix or an action (main 2026-11-12, #213). The scripts are fetched at that same commit. The pins are the only change.

@askalf-pin-bump
askalf-pin-bump Bot requested a review from askalf as a code owner November 12, 2026 18:31
@askalf
askalf enabled auto-merge (squash) November 12, 2026 18:35

@sprayberry-redline sprayberry-redline left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verdict: approve. The workflows consistently move their reusable workflow, script-fetch, and action references to the same full commit SHA, including every paired redline-ref input. The immutable pins and existing permission boundaries are preserved.

@askalf
askalf merged commit 483bc72 into main Nov 12, 2026
19 checks passed
@askalf
askalf deleted the bot/redline-pin branch November 12, 2026 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants