Manage GitHub repositories, issues, pull requests, and CI/CD via GitHub MCP. Auto-invoked when tasks involve repo management, issue triage, PR review, checking CI status, or code search across GitHub. Also use when the user references a GitHub URL, issue number, or repository name.
Manage repositories, issues, PRs, and CI/CD through the official GitHub MCP Server.
owner/repo format)list_issues, search_issues, create_issue, add_issue_commentlist_pull_requests, create_pull_request, merge_pull_requestsearch_code, get_file_contents, push_filessearch_repositories, list_commits, create_branchnova-core-ai/nova-core (override if user specifies)## Summary and ## Test plan in the body