A practical guide on how to use the GitHub MCP server | MCP Market