We've lost a lot with the deletion of this repo. Not the code - that's already out in the ether - but the absurdist comedy of the issues, pull requests, and commit history of trying to piecemeal delete third party non-FOSS software.
replies(6):
Sometimes I wonder though why GitHub allows like an anonymous account with no projects and no followers to do things like upload executables to my issue tracker, or file a dozen new issues on a project with 160+ watchers. Then there's the people who use AI to fill their profiles with fake content to look less sus. It's particularly spicy when you work for a non-profit that puts a lot of oversight into decisions like banning people. I think Microsoft could be doing more to make sure the people who participate in the GitHub community are openly original and have good intentions.