github

MCP server for GitHub operations (PRs, issues, actions) with structured, token-efficient output