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

pelikhan with Copilot wants to merge 1 commit into

maingithub/gh-aw:mainfrom

copilot/formal-spec-github-mcp-access-control-compliance-rgithub/gh-aw:copilot/formal-spec-github-mcp-access-control-compliance-rCopy head branch name to clipboard