While anecdotal, we see a lot of development environments for a lot of companies and the amount using github vs gitlab is like 5 or 6x to 1. So, in that sense I get what the CTO of github is saying.