GitHub Integration

CodeCord provides GitHub integration features to help you manage your repositories directly from Discord.

Setup

To set up GitHub integration for your server:

1. Use the /github integration command
2. Enter your GitHub repository URL (e.g., https://github.com/owner/repo)
3. Choose your integration level:
4. Choose which features you want to enable:
   • Stats: Creates counter channels showing repository statistics
   • Notifications: Receive detailed webhook notifications
   • Or enable both features

Private Repositories

For private repositories, you’ll need to install our GitHub App to grant access. The bot will guide you through the installation process during setup. Note that the GitHub App requires minimal permissions and has no access to your repository code.

Basic Integration

• No code access required
• Track pull requests, issues, stars, and forks
• Receive notifications for repository events
• Perfect for public and private repositories or when code access isn’t needed

Extended Integration

• Requires repository code access
• Everything in Basic, plus:
  • Commit count tracking
  • Code-related features
  • More features coming soon
• Ideal for private repositories or when you need full integration

Features

Repository Statistics

When enabled, creates Discord text channels that act as counters showing:

• 📥 Pull Requests
• ❗ Issues
• ⭐ Stars
• 🔱 Forks
• 📝 Commits (Extended integration only)

These channels automatically update to reflect current repository state.

Event Notifications

Receive detailed notifications for GitHub webhook events. For a comprehensive list of supported events and their configuration options, check out our Notifications documentation.

Configuration

Notification Settings

Use /github configure to configure:

• Which events to receive notifications for
• Channel mappings for different event types
• Mention roles for specific events (Perfect for notifying specific roles when github action builds are failing and more)
• Event filters and rules

Github Notification Embed Customization

The dashboard provides a visual message embed builder to customize the embeds of notification messages:

Features:

• Drag-and-drop interface for field arrangement
• Real-time preview with sample data
• Support for inline and block layouts
• Custom field labels and grouping
• Event-specific variables and placeholders

Visit our Notifications page for detailed information about template customization.

Account Linking

Link your Discord account with GitHub to receive personal notifications:

1. Use /github link
2. Follow the DM instructions to create a verification gist
3. Complete the verification process

Personal Notifications Include:

• When you’re assigned to review a pull request
• When you’re assigned to an Issue
• Review Reminders for assigned pull requests if configured in the Dashboard
• More to come by request

Commands

Setup and Configuration

• /github integration - Start the GitHub integration setup
• /github configure - Configure GitHub integration settings
• /github settings - View current GitHub integration status
• /github link - Link your Discord account with GitHub

Permissions

• Server administrators can set up and configure GitHub integration
• Users need appropriate permissions to use GitHub-related commands
• Discord’s channel permissions apply to notifications:
  • Users will only see notifications in channels they have access to
  • Even if mentioned, users won’t see notifications in channels they can’t view
  • Make sure notification channels are accessible to the intended audience

Troubleshooting

If you encounter issues:

1. Check /github settings for current configuration
2. Ensure the bot has proper permissions
3. Verify GitHub App installation (for private repositories)
4. Check channel permissions for notifications