GitHub MCP Server configuration panel with details on integration, use cases, and developer resources.

Settings / Configuration - Captured on 11/22/2025 by @romain-penchenat