Pi: Remove Redundant GitHub MCP | Dark Hacker News