I agree. I feel if github was owned/run by people passionate about code and open source software, no code repos be banned, if not just because it's consuming resources contrary to the mission.

It is owned/run by Microsoft. The mission is the big tech mission: usage of any kind regardless of the impact on anything else, and profit.

I had the code in a separate private repo because it had some personal data I hadn't cleaned up. When I shared this repo I forgot it didn't have the code! Sorry about that. A case of Hanlon's Razor and nothing more. I have uploaded the full codebase to the shared repo now.