search

tdurieux / anonymous_github

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
https://anonymous.4open.science/
GNU General Public License v3.0
1.39k stars 55 forks source link

Anonymize repository id taken #273

Open lucala opened 5 months ago

lucala commented 5 months ago

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

tdurieux commented 5 months ago

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

lucala commented 5 months ago

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

mhellmeier commented 4 months ago

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: image

Quick fix

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