#GitHub Integration

DevBoy tools provides full integration with GitHub for managing issues, pull requests, and code reviews through AI assistants.

#Required token scopes

When creating a GitHub personal access token, you need to select the following scopes:

#Configuration

#Basic configuration

# Set repository owner (user or organization)
devboy config set github.owner <owner>

# Set repository name
devboy config set github.repo <repo>

# Store token in OS keychain
devboy config set-secret github.token <token>

#Configuration file

Settings are stored in ~/.config/devboy-tools/config.toml:

[github]
owner = "meteora-pro"
repo = "devboy-tools"

The token is stored separately in the OS keychain for security.

#MCP tools

Once configured, the following MCP tools are available:

#Issue tools

#Pull request tools

#Output formats

All tools support three output formats via the format parameter:

• markdown (default) - Human-readable with formatting
• compact - Condensed format for limited context
• json - Raw JSON data

Example:

{
  "key": "gh#123",
  "format": "json"
}

#Testing

Verify your GitHub configuration:

devboy test github

This will test the connection and display your GitHub user information.

#Troubleshooting

#"Bad credentials" error

• Verify your token is copied correctly
• Check that the token hasn't expired
• Ensure the token has the required repo scope

#"Not Found" error

• Verify the owner and repo names are correct
• Ensure the repository exists and is accessible
• Check that your token has access to the repository

#Rate limiting

GitHub API has rate limits:

• 5,000 requests per hour for authenticated users
• The tool will show a rate limit error if exceeded