Skip to content

Verify GitHub MCP access-control formal spec compliance suite - #49375

Closed
pelikhan with Copilot wants to merge 1 commit into
mainfrom
copilot/formal-spec-github-mcp-access-control-compliance-r
Closed

Verify GitHub MCP access-control formal spec compliance suite#49375
pelikhan with Copilot wants to merge 1 commit into
mainfrom
copilot/formal-spec-github-mcp-access-control-compliance-r

Initial plan

021803c
Select commit
Loading
Failed to load commit list.