Closed cheeky-gorilla closed 2 weeks ago
Heya @cheeky-gorilla ! Thanks for this PR. This is a good incentive for me to do a bit of clean-up when it comes to how we categorize different Ethereum repos. I've opened a separate issue to track this, FYI. I'll try to get to it today or tomorrow. Then I can proceed with handling your PR. (There are a few project changes that will need to be made, nothing major.) cheers!
Adding the following:
Removed the following: