Deleted repository names are reserved indefinitely?

I’ve created a repository and deleted it again.
It is now listed as “deleted” but still recorded.

When attempting to create a new repo with the same name, I get an error. Using a different name succeeds.
Is this intended?

It would be great if one could either fully delete a repo (instead of “soft delete”) or just re-use an existing name.

Hi @pat-s,

Hard-delete is supported by the API: DELETE /api/v2/manager/r/repositories/{id} but not by the front-end.

I brought it up to the team and we are looking into a safe way to allow names to be re-used.

1 Like