Add the ability to disable Github projects if they've been archived on Github

Created by: voxxit

Describe the feature request.

In an effort to reduce/remove unnecessary projects from our Sourcegraph instance, it would be nice if we could remove them either automatically or with a bulk change tool if { "archived": true } from the Github API.

Is your feature request related to a problem? Please describe.

Not presently, but if we can't remove repos soon, i feel there may be performance concerns.

Describe alternatives you've considered.

N/A

Additional context

N/A