Skip to main content

​
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

1

Open Integrations

From the dashboard, click Integrations in the sidebar. Find GitHub in the list.
2

Click Connect

Click Connect or Authorize next to GitHub. You’ll be redirected to GitHub’s OAuth screen.
3

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.
4

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.
5

Return to Minibuddies

After approval, you’re redirected back. GitHub should show as Connected. Agents can now interact with your repositories when you ask.
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.

​
Connecting Discord

1

Open Integrations

From the dashboard, click Integrations in the sidebar. Find Discord in the list.
2

Click Connect

Click Connect or Authorize next to Discord. You’ll be redirected to Discord’s OAuth screen.
3

Choose server

Select the Discord server (guild) you want to add the bot to. You must have “Manage Server” or equivalent permission.
4

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.
5

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.

​
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?

Integrations overview

See all available integrations.

Agents

Learn which agents work best with these tools.

Gmail and Outlook

Connect email for full workflow.

Prompting examples

More example prompts.

​
Need help?

Questions about GitHub or Discord integration? Reach out at [email protected] or join our Discord community.