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

Open

opened

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.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests