Skip to content

Request: delete server io.github.mldotink/mcp to migrate to domain namespace ink.ml/ink #1033

Description

@gluonfield

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:

  1. Delete io.github.mldotink/mcp entirely, or
  2. 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!

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions