Skip to content

Fix Mention in PR docs example permissions - #2207

Draft
github-actions[bot] wants to merge 1 commit into
mainfrom
fix-2206-mention-pr-copilot-perm-86aa1082b69c96ca
Draft

github-actions[bot] wants to merge 1 commit into
mainfrom
fix-2206-mention-pr-copilot-perm-86aa1082b69c96ca

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Summary

This PR fixes the Mention in PR documentation example by adding the missing copilot-requests: write permission in:

  • docs/workflows/gh-agent-workflows/mention-in-pr.md

This aligns the docs example with:

  • gh-agent-workflows/mention-in-pr/example.yml
  • .github/workflows/gh-aw-mention-in-pr.md

and prevents users from copying an under-permissioned workflow configuration.

Closes #2206.

Validation

python /tmp/gh-aw/agent/repro_mention_in_pr_permissions.py
make compile
make lint

Pre-Completion Checklist

  • Re-read the issue/request and confirmed this PR directly addresses it
  • Reviewed changed files for correctness
  • Ran make compile and make lint with no errors
  • Verified no unrelated files were modified

What is this? | From workflow: Trigger Bug Hunter

Give us feedback! React with 🚀 if perfect, 👍 if helpful, 👎 if not.

…uests: write permission to the docs workflow example so it matches the canonical example and reusable workflow requirements.\n\nCloses #2206\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

This branch has not been deployed

No deployments
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.

[bug-hunter] Mention in PR docs example omits required copilot-requests permission

0 participants