libraries.io icon indicating copy to clipboard operation
libraries.io copied to clipboard

GitHub repos are still visible after deletion

Open elenakrittik opened this issue 2 years ago • 0 comments

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"

elenakrittik avatar Apr 03 '22 22:04 elenakrittik