Request: hard removal of accidentally published version (private repository URL leaked) #1693

Hi, we accidentally published a server.json version containing the repository.url of our private GitHub repository:

• Server: com.mocoapp.api/mcp
• Version: 1.0.0 (status: deleted/flagged)
• Leaked field: "repository": { "url": "https://github.com/everii-Group/mocoapp", ... }

The repository is private, but we'd prefer the org/repo name not to be exposed in the public registry at all. We've already re-published a clean version (1.0.1) and set 1.0.0 to deleted via the publisher CLI — could you hard-delete version 1.0.0 from the registry database?

Thanks! (Happy to verify domain ownership for mocoapp.com / api.mocoapp.com via our DNS TXT record if needed.)