Totally.

A few people making a lot of noise.

Any suggestion this had a material impact on githubs business is pure speculation.