pat-s
1
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