Skip to content

[side-quest] Extract PR reviewer skill troubleshooting into a side quest - #5138

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest-reviewer-skips-skill-880f32fb76fc56a8
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest-reviewer-skips-skill-880f32fb76fc56a8

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Caution

Protected files were modified in this change.
This pull request is in request-review mode and requires explicit human scrutiny before merge.

Protected files: README.md

Source mined: workshop/14b-pr-reviewer-workflow.md

Extracted: the "review ignores pr-review-standards" troubleshooting detour (check .github/skills/, gh aw init, reinforce the brief, re-run /review) now lives in workshop/side-quest-14-01-reviewer-skips-skill.md.

Routing:

  • Step 14b now has a short Optional Side Quest callout at the extraction point; the main path (test trigger → improve one layer) is unchanged.
  • The side quest ends with a return link to Step 14b.
  • workshop/README.md lists it under Optional Side Quests, noting it branches from Step 14b.

Note: markdownlint could not run in the sandbox (npm registry cert error).

Generated by 🗺️ Side Quest · copilot · auto · ~31 AIC · ⌖ ~1 AIC · ⊞ 4.6K · ◷

  • expires on Oct 30, 2026, 11:45 PM UTC

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added documentation Improvements or additions to documentation side-quest workshop labels Oct 29, 2026

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Protected files were modified in this pull request and require manual scrutiny before merge.

Please verify that each protected-file change is intentional, policy-compliant, and safe:

  • Protected files: README.md

@github-actions

Copy link
Copy Markdown
Contributor Author

This pull request was automatically closed because it expired on 2026-10-30T23:45:39.652Z.

Closed by Workflow

@github-actions github-actions Bot closed this Oct 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation side-quest workshop

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants