Add GitHub Copilot in Slack wiki page

[Copilot]

Adds a new MkDocs wiki page covering how to use GitHub Copilot in Slack, including setup, permissions, usage patterns, example prompts, and troubleshooting. The page is added in the existing docs structure so it appears in the generated navigation without additional config changes.

• New documentation

  • Added GitHub/copilot-slack.md
  • Covers:
    • what Copilot in Slack is
    • workspace/app setup and account linking
    • required permissions and repository access expectations
    • basic workflows for questions, issue drafting, and PR-generating requests

• Usage guidance

  • Included concrete Slack command and prompt examples
  • Documented when to use direct messages vs. thread mentions
  • Called out thread-context behavior and default repository selection

• Operational notes

  • Added best practices for keeping prompts scoped and reviewable
  • Added troubleshooting for app install, sign-in, mention behavior, and repository targeting
  • Linked to official GitHub documentation for Slack integration, permissions, and Copilot usage

• MkDocs integration

  • No manual mkdocs.yml nav update was needed
  • The page is placed in the existing docs tree and is picked up by the current MkDocs configuration

Example snippet from the new page:

@GitHub In FRCTeam3255/Wiki, create an issue to document how mentors should review pull requests.

Original prompt

Add a new wiki page describing how to use GitHub Copilot in Slack. The page should include:

• Introduction to Copilot in Slack
• How to install or set up Copilot in Slack (including any needed permissions or integrations)
• Basic usage instructions (such as asking coding questions, creating issues, etc., via Slack)
• Example commands and interactions
• Any best practices or troubleshooting tips
• Links to official documentation if available

Format the page using Markdown and add it to the docs/pages (or appropriate) directory as copilot-slack.md. Update the navigation in mkdocs.yml accordingly if needed.

The following is the prior conversation context from the user's chat exploration (may be truncated):

User: Current user's login: TaylerUva

User: Add wiki page on how to use Copilot in slack in FRCTeam3255/Wiki

Assistant: To proceed, please note that creating a pull request for a wiki page requires access to the actual wiki repository linked to FRCTeam3255/Wiki. Could you confirm if you want a PR to the main repository (FRCTeam3255/Wiki), or should I provide you with the markdown content so you can add it manually to the wiki? If you want a pull request, please confirm that the wiki is structured as a cloneable git repository where PRs can be made, as GitHub wikis are usually managed separately.

Assistant: New message from Copilot

User: create a pull request for an Mkdocs repo

Assistant: Please specify the repository (in the format owner/repo, for example: FRCTeam3255/Wiki) where you want to create the pull request for the Mkdocs changes. Once you provide the repository name, I can proceed! If you have specific changes you'd like to make (such as adding a wiki page, updating the configuration, etc.), please describe those as well.

Assistant: New message from Copilot

User: proceed in FRCTeam3255/Wiki

Assistant: What specific Mkdocs change would you like in the FRCTeam3255/Wiki repository? For example, do you want to: - Set up Mkdocs from scratch? - Add a new documentation page (e.g., how to use Copilot in Slack)? - Update the configuration (e.g., navigation, theme)? - Something else? Please provide details about the change you want made so I can generate a pull request for you.

Assistant: New message from Copilot

This pull request was created from Copilot chat.