This repository was archived by the owner on Oct 11, 2019. It is now read-only.
This repository was archived by the owner on Oct 11, 2019. It is now read-only.
handle repo deletion #80
Description
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.