On Tue, Sep 1, 2020 at 12:11 PM Isaac Johnson isaac@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: https://github.com/thcipriani/wikimedia-github-projects/compare/13aa797..7cd...
I don't have a way to differentiate between repos that were archived vs deleted in that list.
Thanks! -- Tyler