It is quite possible for github load balancers to route paying customers to different queues/infrastructure. I think much of the bot activity is paying customer

It is quite possible for github load balancers to route paying customers to different queues/infrastructure. I think much of the bot activity is paying customers, they just don't have per-client QoS because that would be hard. And they don't have separate auth for bots so they can't queue them separately.