Competition in the source-control space is a great thing. I am not entirely convinced that they would have done the right thing without the threat of losing developers en-masse to competitors.
Everyone who seriously considers to leave the platform has already left when they were acquired by MS and/or continued to work with ICE, and both of those only caused a miniscule amount of people to leave.
I was >< this close to choosing Gitlab over Github due to this - I stopped all efforts to make the decision until I saw how this plays out.
Happy to push to Github now.
It's a data point of one, but there you go..
(And who am I to judge, I've resigned to using Github as well...)