cfpb / github-wiki-search

:warning: DEPRECATED :warning:
Creative Commons Zero v1.0 Universal
7 stars 17 forks source link

handle repo deletion #80

Open dgreisen-cfpb opened 9 years ago

dgreisen-cfpb commented 9 years ago

right now, a deleted repo will hang out like a ghost. We should store a set of all previously indexed repos, then do a diff against all existing repos, and find any that were previously indexed but no longer exist.