-
-
Notifications
You must be signed in to change notification settings - Fork 3.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Deleted repository not detected #2412
Comments
I confirm that I'm able to reproduce this. I created a repository called If I try to re-imported after deleted from GitHub I receive this error: https://readthedocs.org/projects/my1/builds/5489577/
|
Correct, our sync repository function doesn't remove existing Some decisions to make here:
I would say deleting is fine, as long as we ensure it doesn't cascade to connected projects. I would also say that disabling the project doesn't make sense, as this could simply be a matter of losing access to a fork of a repository. Perhaps we need to think more on this case though. |
I just checked BTW. The deleted repository still appears in my list. |
After #7183, GitHub integration in cleaning up old The same work/code needs to be ported to GitLab and Bitbucket to be able to close this issue. |
Details
I have deleted the repository at https://github.com/beruic/bootstrap-tagsinput, but it does not disappear when i refresh in the repository importer at https://readthedocs.org/dashboard/import/.
The text was updated successfully, but these errors were encountered: