Anonymize repository id taken

[lucala]

No matter what I enter, I always get the error that the repository id has been taken. This seems very strange...

[tdurieux]

Are you sure you don't try to reuse the id of a repo that you removed?

[lucala]

yes, you're right. This was the problem, I wanted to rename my repo and then generate a new url.

[mhellmeier]

But there is still a bug regarding the repository id is already used error.

Steps to reproduce

1. Visit the /anonymize page to anonymize a repository
2. Use a repository id that is already taken
3. Click the "Anonymize" button
4. An error occurs that the repository id is already taken (this error is correct)
5. Change the repository id to something that is not used
6. The error remains there, even if the repository id is unused

Example

Example Screenshot of step 6:

Quick fix

After step 6, click the "Anonymize" button again. This will work.