I teach 2 git classes each year. I used to use GitHub for the pull/push section of the class, but last autumn half the class got stuck with branch name mismatches.
I switched to GitLab in the next class.
Surely this is just anecdata, but it seems to me that there can be real commercial consequences to letting your business get hijacked by the thought police.
Wait, I need to explain details of remotes and named branches before a basic collaboration exercise because some angry lefties in California got offended? Come on. Git can be very overwhelming to new users. Any concept I can leave undiscussed before people can get their hands dirty is a win. GitHub forces me to add a concept for political reasons.
I switched to GitLab in the next class.
Surely this is just anecdata, but it seems to me that there can be real commercial consequences to letting your business get hijacked by the thought police.