Skip to content

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

@gluonfield

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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions