GitHub Server
Overview
The GitHub server provides comprehensive integration with GitHub repositories, enabling AI assistants to manage issues, pull requests, code files, and development workflows programmatically.
Getting Started
- 1Connect to GitHub
Add the GitHub server to your Civic environment through the server directory.
- 2Test Connection
Start with a simple tool like
get_meorsearch_repositoriesto verify the connection works properly.
What You Can Do
Create, update, and track issues across repositories with full comment management
Manage PRs from creation to merge, including reviews, comments, and status checks
Read, create, and modify files directly in repositories with branch management
Search across repositories, code, users, and issues to find relevant information
Use Cases
Development Automation
- PR Creation: Automatically create pull requests from feature branches with proper descriptions
- Code Reviews: Generate review comments and suggestions based on code changes
- Issue Triage: Automatically label and assign issues based on content analysis
- Branch Management: Create feature branches and manage merge workflows
Project Management
- Issue Tracking: Monitor project progress through issue creation and updates
- Status Reports: Generate project status reports from commit history and PR activity
- Team Coordination: Track team member contributions and code review assignments
- Release Management: Coordinate releases by analyzing commit history and issue resolution
Code Intelligence
- Code Search: Find similar patterns, functions, or implementations across repositories
- Documentation Updates: Automatically update documentation based on code changes
- Security Monitoring: Track and respond to security scanning alerts
- Dependency Analysis: Monitor repository dependencies and update requirements
Available Tools (39)
User Operations
Authentication and user information management.
get_me
Get details of the authenticated user including profile information and permissions
Issue Management
Complete issue lifecycle management including creation, updates, and comments.
Core Issue Operations
get_issue
Get the complete contents and metadata of a specific issue within a repository
create_issue
Create new issues with title, description, labels, and assignees
list_issues
List all issues in a repository with filtering and sorting options
update_issue
Update existing issues including status, labels, assignees, and descriptions
search_issues
Search for issues across repositories using GitHub's powerful search syntax
Issue Comments
get_issue_comments
Retrieve all comments for a specific issue including author and timestamp information
add_issue_comment
Add new comments to existing issues for collaboration and updates
Pull Request Management
Comprehensive pull request workflows from creation to merge.
PR Core Operations
get_pull_request
Get complete details of a pull request including metadata, status, and changes
create_pull_request
Create new pull requests with title, description, and branch specifications
list_pull_requests
List all pull requests in a repository with filtering by status, author, or branch
update_pull_request
Update PR title, description, labels, or other metadata
merge_pull_request
Merge approved pull requests using different merge strategies
PR Analysis
get_pull_request_files
Get list of files changed in a pull request with diff information
get_pull_request_status
Check the status of pull request including CI/CD checks and review status
update_pull_request_branch
Update pull request branch with latest changes from base branch
PR Collaboration
get_pull_request_comments
Retrieve all comments on a pull request for review and discussion
get_pull_request_reviews
Get all code reviews and their status (approved, changes requested, etc.)
create_pull_request_review
Create comprehensive code reviews with comments and approval status
add_pull_request_review_comment
Add specific line-by-line comments during code review process
request_copilot_review
Request automated code review assistance from GitHub Copilot
File & Code Operations
Direct file manipulation and code management within repositories.
create_or_update_file
Create new files or update existing files in repositories with commit messages
get_file_contents
Read the contents of any file in a repository with support for different branches
push_files
Push multiple file changes to a repository in a single commit
Repository Management
Repository-level operations including creation, forking, and discovery.
search_repositories
Search for repositories across GitHub using various criteria and filters
create_repository
Create new repositories with specified settings, visibility, and initial content
fork_repository
Fork existing repositories to your account or organization for contributions
Branch & Commit Operations
Git workflow management including branching, commits, and history.
list_branches
List all branches in a repository with their latest commit information
create_branch
Create new branches from existing branches for feature development
list_commits
Get commit history for a repository or specific branch with author and message details
get_commit
Get detailed information about a specific commit including file changes
Search Operations
Advanced search capabilities across GitHub's entire platform.
search_code
Search for specific code patterns, functions, or implementations across repositories
search_users
Find GitHub users based on various criteria like location, followers, or repositories
Security & Scanning
Security monitoring and vulnerability management tools.
get_code_scanning_alert
Get details of specific code security alerts and vulnerabilities
list_code_scanning_alerts
List all code scanning security alerts for a repository
get_secret_scanning_alert
Get details of secret scanning alerts for exposed credentials
list_secret_scanning_alerts
List all secret scanning alerts to identify exposed sensitive information
Resources
The GitHub server provides direct access to GitHub data through resource endpoints.
Collection Endpoints
Access entire data collections for browsing and discovery:
github://repositories
Access repository listings and metadata
github://issues
Browse issues across accessible repositories
github://pull-requests
View pull request data and status
github://users
Access user profiles and information
Individual Record Endpoints
Access specific records when you know their ID:
github://repositories/{owner}/{repo}
Get specific repository details
github://issues/{owner}/{repo}/{number}
Get individual issue details
github://pull-requests/{owner}/{repo}/{number}
Get specific pull request information
github://users/{username}
Get user profile and activity
Pro Tip: Use collection endpoints to discover repositories and issues, then switch to individual record endpoints for detailed operations.
Guardrails
In addition to the 14 universal guardrails, this server has 30 server-specific guardrails across 13 operations.
GitHub has a strong "vetted org/repo" access control theme — many guardrails restrict all operations to pre-approved organizations and repositories.
| Guardrail | Operation | Timing | Description |
|---|---|---|---|
| Redact Commit Author Email | get_commit | Response | Redacts author email addresses from commit data |
| Redact Owned Private Repos Count | get_me | Response | Redacts information about owned private repositories |
| Redact Private Gists Count | get_me | Response | Redacts information about private gists |
| Redact Total Private Repos Count | get_me | Response | Redacts information about total private repositories |
| Redact User Email Addresses | get_me | Response | Redacts email addresses from user data |
| Redact User Location | get_me | Response | Redacts user location data |
| Redact User Real Name | get_me | Response | Redacts user's real name |
| Redact Team Member Email | get_team_members | Response | Redacts email addresses from team member data |
| Restrict Team Access to Vetted Orgs | get_team_members | Request | Only allows team operations on vetted organizations |
| Redact Issue Author Information | issue_read | Response | Redacts author information from issues |
| Filter Branches to Vetted List | list_branches | Response | Redacts non-vetted branches from branch listings |
| Filter Commits to Vetted Authors | list_commits | Response | Redacts commits from non-vetted authors |
| Filter Issues to Vetted Repos | list_issues | Response | Redacts issues from non-vetted repositories |
| Filter Notifications to Vetted Repos | list_notifications | Response | Redacts notifications from non-vetted repositories |
| Filter Pull Requests to Vetted Repos | list_pull_requests | Response | Redacts pull requests from non-vetted repositories |
| Redact PR Author Information | pull_request_read | Response | Redacts author information from pull requests |
| Filter Code Search Results | search_code | Response | Redacts code results from non-vetted repositories |
| Restrict Code Search | search_code | Request | Only allows code searches within vetted repositories |
| Filter Issue Search Results | search_issues | Response | Redacts issues from non-vetted repositories in search results |
| Restrict Issue Search | search_issues | Request | Only allows searching issues within vetted repositories |
| Filter Pull Request Search Results | search_pull_requests | Response | Redacts PRs from non-vetted repositories in search results |
| Restrict Pull Request Search | search_pull_requests | Request | Only allows searching PRs within vetted repositories |
| Filter Repository Search Results | search_repositories | Response | Redacts non-vetted repositories from search results |
| Restrict Repository Search | search_repositories | Request | Only allows searching within vetted repositories |
| Filter User Search Results | search_users | Response | Redacts users outside vetted organizations from search results |
| Redact Email from User Search | search_users | Response | Redacts email addresses from user search results |
| Redact Private Repositories | (all operations) | Response | Redacts private repository information from all responses |
| Restrict to Vetted Organizations | (all operations) | Request | Only allows operations on repositories from whitelisted organizations |
| Restrict to Vetted Repositories | (all operations) | Request | Only allows operations on whitelisted repositories |
Configure guardrails via the Civic UI or ask the Configurator Agent: "Add guardrails to my GitHub server."