Skip to content

[side-quest] Extract "Label a GitHub Actions Workflow" side quest - #5213

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest/label-actions-workflow-c0c719bc2ae43898
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
side-quest/label-actions-workflow-c0c719bc2ae43898

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/04-github-actions-intro.md

Extracted: the "Label a sample workflow" exercise (anatomy diagram, labeling task, reveal) moved to workshop/side-quest-04-01-label-actions-workflow.md.

Routing:

  • Step 4 keeps a short summary plus an Optional Side Quest callout at the extraction point; the matching checkpoint item was removed so the main path stands alone.
  • The side quest links back to Step 4.
  • workshop/README.md lists the new side quest in the optional section, noting it branches from Step 4.

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

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

  • expires on Nov 1, 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 31, 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

@pelikhan
pelikhan marked this pull request as ready for review November 1, 2026 23:20
@pelikhan pelikhan closed this Nov 1, 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.

1 participant