On Tue, Sep 1, 2020 at 12:11 PM Isaac Johnson <isaac(a)wikimedia.org> wrote:
Thanks Tyler for doing this work! Is there an easy way
(if not, no big
deal) to also see the list of repos that were archived/deleted just to make
sure lack of response didn't mean something disappeared that would have
been useful to keep active?
Sure, the list of repos removed or archived (plus a repo that was
added and a repo that was renamed during this process :)) can be found
in this diff:
I don't have a way to differentiate between repos that were archived
vs deleted in that list.