I own both the GitHub org mldotink and the domain ml.ink. I published io.github.mldotink/mcp (v1.0.0) with remote URL https://mcp.ml.ink/mcp.
I've since verified my domain via DNS and want to migrate to ink.ml/ink using the same remote URL, but publishing fails because v1.0.0 of the old entry still claims the URL:
Error: remote URL https://mcp.ml.ink/mcp is already used by server io.github.mldotink/mcp
I published v3.0.0 of the old entry with a dummy remote URL (https://deprecated.ml.ink/mcp), but the registry still blocks because v1.0.0 retains the original URL and versions are immutable.
Could an admin please either:
- Delete
io.github.mldotink/mcp entirely, or
- Set all versions of
io.github.mldotink/mcp to deleted status
This will free up the remote URL so I can publish under my verified domain namespace ink.ml/ink. Thank you!