Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions docs/how-tos/instruct-github-agent.md
Original file line number Diff line number Diff line change
Expand Up @@ -144,6 +144,16 @@ from outside this community may not be aware - and some of these
people may not like having their request seemingly handled by an AI,
so use situational awareness in when to invoke AI.

## NEW: Invocation via GitHub copilot

Some repos now have been set up configured to use GitHub copilot.

You can now assign an issue OR PR to copilot. Assigning an issue will create a PR. Assigning a PR will trigger a review

see <https://docs.github.com/en/copilot/how-tos/agents/copilot-coding-agent/using-copilot-to-work-on-an-issue>

Note: requires GitHub Pro (free for educational users)

## Learning More

### Local experimentation
Expand Down