Skip to content

Formal spec alignment for GitHub MCP access-control conformance docs and predicate mapping#47633

Merged
pelikhan merged 3 commits into
mainfrom
copilot/formal-spec-github-mcp-access-control-compliance
Jul 24, 2026
Merged

Formal spec alignment for GitHub MCP access-control conformance docs and predicate mapping#47633
pelikhan merged 3 commits into
mainfrom
copilot/formal-spec-github-mcp-access-control-compliance

Merge branch 'main' into copilot/formal-spec-github-mcp-access-contro…

a3ab164
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar