GitHub repositories through the official GitHub MCP server.
Use when setting up or using the github OpenAgent integration.