That is a very simplistic, and incorrect, response to the problem.
GitHub provides computing resources, for free, to attract users. This is just one of the challenges of that business model. If this is intolerable for GitHub then it's up to them to find a strategy to counter it.
We don't need to ask the government to punish everyone participating in cryptocurrency.
This was my first thought after reading it. I've used gitlab.com, also locally, and it is ok. Presumably people will want to stick with github due to popularity though.
It's even more interesting than you think. The Conservative Party do much better under Scotland's system of proportional representation than in Westminster.
I use LibreOffice in an environment where almost every other user uses Microsoft Office tools. I've had difficulty with some documents in the docx format. Most of the documents will turn out to be ok but when certain types of formatting are included problems start to appear.
Most of the problems come from, I think, unnecessary features. For example a footer for the author's name on each page.
"They left work and played volleyball and worked on their tuner car and went to family events and so on. They learned exactly what was specifically necessary for their job today and tomorrow. Never beyond.
The telephone is my main gripe at the moment. My line manager likes to conduct all his business over the phone. One of my colleagues likes to project her voice across the entire office despite the phone being less than an inch from her mouth. In addition to this many in the office have developed an idiotic system whereby the phones of absent colleagues are answered. When the phone is answered the caller is informed that the intended recipient is not there and a message is taken. For some reason my colleagues do not understand that they are doing exactly what the voice-mail service does.
Equally there are philosophy professors who don't appreciate it. One class that I was a member of was warned that our professor had not seen The Matrix and, given the number of essays that referred to it, never wanted to see it or read about it ever again.
Don't imagine that GitHub cares about lowering barriers to entry as an end in itself.
It does this as a means to pursue GitHub's business interests.