Skip to content

[side-quest] Extract side quest: Fix a Reviewer That Skips Its Skill - #5060

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest/skill-not-applied-9a33e6c5a2d787de
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest/skill-not-applied-9a33e6c5a2d787de

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 troubleshooting detour for PR reviewer runs that ignore the pr-review-standards skill (check .github/skills/, reinforce the instruction via /agentic-workflows, recompile and retest) is now workshop/side-quest-13-05-skill-not-applied.md.

Routing:

  • Step 14b replaces the detour with a short [!NOTE] Optional Side Quest callout linking to the new page; main path is unchanged.
  • The side quest links back to Step 14b.
  • workshop/README.md lists it under Optional Side Quests, branching from Step 14b.

No workflow frontmatter snippets were added, so no compile validation was needed. markdownlint could not be run (npm registry cert error in sandbox).

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

  • expires on Oct 28, 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 27, 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-28T23:45:42.487Z.

Closed by Workflow

@github-actions github-actions Bot closed this Oct 29, 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