Skip to content

Add daily workflow for GitHub Skills-style workshop activity PRs#24

Merged
pelikhan merged 2 commits into
mainfrom
copilot/copilot-requests-write
Jul 11, 2026
Merged

Add daily workflow for GitHub Skills-style workshop activity PRs#24
pelikhan merged 2 commits into
mainfrom
copilot/copilot-requests-write

Conversation

Copilot AI commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

This introduces a daily agentic workflow that proposes incremental workshop improvements as draft PRs in GitHub Skills tone, explicitly targeting skill-style activities (content) rather than agent skills. It also enables Copilot request auth for workflow execution.

  • Workflow intent and trigger model

    • Adds .github/workflows/workshop-skill-activity-author.md
    • Runs on schedule: daily and supports workflow_dispatch with optional focus input
    • Skips opening duplicate work when an existing skill-activity PR is already open
  • Write path and safety boundaries

    • Keeps the agent job read-only except copilot-requests: write
    • Routes repo mutations through safe-outputs.create-pull-request
    • Restricts write scope to workshop markdown (workshop/*.md, workshop/**/*.md)
  • Prompt contract (content, not agent skill)

    • Requires exactly one meaningful workshop improvement per run
    • Enforces GitHub Skills-style instructional tone
    • Explicitly prohibits edits under .github/skills/** and creation of SKILL.md
    • Requires noop when no meaningful improvement is available
  • Compiled workflow artifact

    • Adds .github/workflows/workshop-skill-activity-author.lock.yml generated from the source workflow
permissions:
  contents: read
  copilot-requests: write
  pull-requests: read
  issues: read

safe-outputs:
  create-pull-request:
    labels: [workshop, skill-activity, documentation]
    allowed-files:
      - "workshop/*.md"
      - "workshop/**/*.md"

Copilot AI and others added 2 commits July 11, 2026 10:31
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot AI changed the title Add daily workflow for GitHub Skills-style workshop activity improvements Add daily workflow for GitHub Skills-style workshop activity PRs Jul 11, 2026
Copilot AI requested a review from pelikhan July 11, 2026 10:33
@pelikhan pelikhan marked this pull request as ready for review July 11, 2026 10:33
@pelikhan pelikhan merged commit 9275486 into main Jul 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants