Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 18, 2025

The domain api.githubcopilot.com is used for remote GitHub MCP server connections (https://api.githubcopilot.com/mcp/) but was missing from CopilotDefaultDomains.

Changes

  • pkg/workflow/domains.go: Added api.githubcopilot.com to CopilotDefaultDomains list in alphabetical order
  • pkg/workflow/domains_test.go: Updated test expectations to include the new domain
  • Compiled workflows: 75 .lock.yml files automatically updated with the new domain in firewall rules and environment variables

The domain now appears alongside other Copilot API endpoints:

var CopilotDefaultDomains = []string{
    "api.business.githubcopilot.com",
    "api.enterprise.githubcopilot.com",
    "api.github.com",
    "api.githubcopilot.com",  // Added
    "api.individual.githubcopilot.com",
    // ...
}
Original prompt

Add api.githubcopilot.com to the list of default allowed domains

Custom agent used: create-safe-output-type
Adding a New Safe Output Type to GitHub Agentic Workflows


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

This domain is used for remote GitHub MCP server connections at
https://api.githubcopilot.com/mcp/ and should be included in the
default allowed domains for GitHub Copilot CLI operation.

Changes:
- Added api.githubcopilot.com to CopilotDefaultDomains list in pkg/workflow/domains.go
- Updated TestCopilotDefaultDomains test to include the new domain
- Lock files automatically recompiled to reflect the change

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot AI changed the title [WIP] Add api.githubcopilot.com to default allowed domains Add api.githubcopilot.com to CopilotDefaultDomains Dec 18, 2025
Copilot AI requested a review from pelikhan December 18, 2025 19:47
@pelikhan pelikhan marked this pull request as ready for review December 18, 2025 20:13
@pelikhan pelikhan merged commit 5d01007 into main Dec 18, 2025
4 checks passed
@pelikhan pelikhan deleted the copilot/add-default-allowed-domain branch December 18, 2025 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants