libraries.io
libraries.io copied to clipboard
GitHub repos are still visible after deletion
Bugs
Steps to reproduce:
- Login to libraries.io with GitHub account that have one or more public repos
- Visit libraries.io/repositories and sync libraries
- Delete a repository on GitHub
- Visit libraries.io/repositories again
- See that deleted repo still visible even after resyncing, but when you trying to subscribe to it, you see an error message telling you that "we've had a problem at our end"