Skip to content

ci: pin the Redline review workflow to askalf/askalf main at #69 - #124

Merged
askalf merged 1 commit into
masterfrom
redline-pin-69
Sep 26, 2026
Merged

askalf merged 1 commit into
masterfrom
redline-pin-69

Conversation

@askalf

@askalf askalf commented Sep 26, 2026

Copy link
Copy Markdown
Owner

Pins the reusable Redline workflow to askalf/askalf main at the merge of askalf/askalf#69. Reviews posted on this repository now open with the verdict line instead of a header, and the submit step refuses review prose that talks about the reviewer rather than the change. The workflow file itself is unchanged between the two pins; only the review script differs.

The review body no longer opens with a header, and the submit step
refuses prose that describes the reviewer instead of the change.
@askalf
askalf enabled auto-merge (squash) September 26, 2026 02:23
@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code size/M 50-199 hand-written lines labels Sep 26, 2026

@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. Bumps the commit pin on the reusable Redline review workflow from the askalf/askalf#64 merge to the #69 merge. The pin stays a full SHA, the workflow keeps read-only permissions, the pull_request trigger, and the same-repo and non-draft gate, and the checked-in file matches the diff exactly.

Minor:

  • .github/workflows/redline.yml:1: Every line of the file is removed and re-added with identical text, so the diff shows a 25-line rewrite for what is a one-line SHA bump. That pattern usually means a line-ending or trailing-whitespace change came along with the edit.

@askalf
askalf merged commit b1eb96e into master Sep 26, 2026
16 checks passed
@askalf
askalf deleted the redline-pin-69 branch September 26, 2026 02:24
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/M 50-199 hand-written lines

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants