Source Control — GitHub GitHub MCP Server for code operations: push, branch, PR, get files. See mcp/ for the container source.