Skip to content

ci: bump Redline to askalf/ci@c20dd11 - #126

Merged
askalf merged 1 commit into
mainfrom
bot/redline-pin
Oct 7, 2026
Merged

askalf merged 1 commit into
mainfrom
bot/redline-pin

Conversation

@askalf

@askalf askalf commented Oct 7, 2026

Copy link
Copy Markdown
Owner

Moves the pinned askalf/ci calls and their redline-ref inputs to askalf/ci@c20dd11, the main commit that last changed the review or the fix (main 2026-10-07, askalf/ci#27). The scripts are fetched at that same commit. The pins are the only change.

@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code size/XS Under 10 hand-written lines labels Oct 7, 2026
@askalf
askalf enabled auto-merge (squash) October 7, 2026 01:50

@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. This moves the called review workflow and its redline-ref input together to askalf/ci@c20dd11. Both stay pinned to the same full commit sha, so the fetched scripts match the workflow version. The job's same-repo and non-draft gate is unchanged, and so are its read-only permissions and other inputs.

@askalf
askalf merged commit 5e3de79 into main Oct 7, 2026
14 checks passed
@askalf
askalf deleted the bot/redline-pin branch October 7, 2026 01:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code size/XS Under 10 hand-written lines

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants