Hard disagree, people are paying GitHub a lot of money.

If they are facing an influx of commits from bots maybe they need to start metering commits from those accounts and charge them money.

This is a self imposed problem.