Show HN: Repotruck – Mirror and organize GitHub repos with a TUI and MCP server