> ## Documentation Index
> Fetch the complete documentation index at: https://docs.minibuddies.ai/llms.txt
> Use this file to discover all available pages before exploring further.

# GitHub and Discord

> Connect GitHub and Discord to Minibuddies. Track repos, send messages, and automate developer and community workflows.

## What you can do with these integrations

**GitHub** - Agents can view repositories, issues, and pull requests. With appropriate permissions, they can create issues, comment, and push code. Useful for developers and technical teams.

**Discord** - Agents can post to Discord channels and manage messages. Useful for communities, gaming teams, and Discord-based workflows.

Each integration connects one account or workspace. Agents use them only when you ask - they don't automatically post or modify content without your request.

## Connecting GitHub

<Steps>
  <Step title="Open Integrations">
    From the dashboard, click **Integrations** in the sidebar. Find **GitHub** in the list.
  </Step>

  <Step title="Click Connect">
    Click **Connect** or **Authorize** next to GitHub. You'll be redirected to GitHub's OAuth screen.
  </Step>

  <Step title="Sign in to GitHub">
    Sign in with the GitHub account that has access to the repos you want to manage. This can be a personal account or an organization account.
  </Step>

  <Step title="Review and approve permissions">
    GitHub will show the scopes Minibuddies is requesting - typically repo access (read/write for code, issues, PRs), and possibly workflow or admin if needed. Review and click **Authorize**.
  </Step>

  <Step title="Return to Minibuddies">
    After approval, you're redirected back. GitHub should show as **Connected**. Agents can now interact with your repositories when you ask.
  </Step>
</Steps>

<Tip>
  For organization repos, you may need admin approval depending on your org's OAuth policies. Contact your GitHub org admin if the app is blocked.
</Tip>

## Connecting Discord

<Steps>
  <Step title="Open Integrations">
    From the dashboard, click **Integrations** in the sidebar. Find **Discord** in the list.
  </Step>

  <Step title="Click Connect">
    Click **Connect** or **Authorize** next to Discord. You'll be redirected to Discord's OAuth screen.
  </Step>

  <Step title="Choose server">
    Select the Discord server (guild) you want to add the bot to. You must have "Manage Server" or equivalent permission.
  </Step>

  <Step title="Review and approve permissions">
    Discord will show the permissions the bot needs - typically send messages, read messages, read message history, and possibly manage channels. Review and click **Authorize**.
  </Step>

  <Step title="Return to Minibuddies">
    After approval, you're redirected back. Discord should show as **Connected**. Agents can now post and read messages in the authorized channels when you ask.
  </Step>
</Steps>

## Example prompts for GitHub

**List issues:**

> "List the open issues in \[repo]. Group by label if possible."

**Summarize PR:**

> "Summarize the changes in PR #42 in \[repo]. Focus on breaking changes."

**Create issue:**

> "Create an issue in \[repo] titled 'Fix login timeout' with a description of the bug and steps to reproduce."

**Review activity:**

> "What PRs were merged in \[repo] in the last week? List them with authors."

## Example prompts for Discord

**Post announcement:**

> "Post to #announcements: 'New feature launch! Check the pinned message for details.'"

**Summarize discussion:**

> "Summarize the conversation in #ideas from the last 24 hours."

## Best practices

* **GitHub:** Use fine-grained or minimal scopes when possible. For orgs, follow your security policies.
* **Discord:** Grant only the permissions the bot needs. Restrict which channels it can access.
* **Security:** Never share tokens or credentials. Use OAuth only. Revoke access from the provider's settings if you disconnect or suspect any issue.

## Disconnecting

To disconnect GitHub or Discord:

1. Go to **Integrations** in the dashboard.
2. Find the integration you want to disconnect.
3. Click **Disconnect** or **Remove**.
4. Confirm the action.

You can also revoke the app from the provider's settings (GitHub Applications, Discord Server Settings). Your accounts and data are unchanged; only the connection to Minibuddies is removed.

## Troubleshooting

### GitHub connection failed

* Ensure pop-ups aren't blocked.
* Try a different browser.
* For orgs, check if OAuth apps are restricted. Request admin approval if needed.
* Verify you're signing in with the correct account.

### Discord connection failed

* You need "Manage Server" permission to add bots.
* Some servers restrict bot additions. Check server settings.
* Verify you selected the correct server and authorized the right channels.

### Agent can't access a repo or channel

* For GitHub: Ensure the connected account has access to the repo.
* For Discord: Ensure the bot has permission to read/send in that channel. Check channel-specific permissions.

## What's next?

<CardGroup cols={2}>
  <Card title="Integrations overview" icon="plug" href="/integrations/overview">
    See all available integrations.
  </Card>

  <Card title="Agents" icon="rocket" href="/using/agents">
    Learn which agents work best with these tools.
  </Card>

  <Card title="Gmail and Outlook" icon="mail" href="/integrations/gmail-outlook">
    Connect email for full workflow.
  </Card>

  <Card title="Prompting examples" icon="book" href="/prompting/examples">
    More example prompts.
  </Card>
</CardGroup>

## Need help?

<Info>
  Questions about GitHub or Discord integration? Reach out at [contact@minibuddies.ai](mailto:contact@minibuddies.ai) or join our [Discord community](https://discord.com/invite/ZJDSJxwx).
</Info>