Now that microsoft bought github, are you going to switch to say gitlab?

Now that microsoft bought github, are you going to switch to say gitlab?

For now we have no plan to switch
Do you have any information that would give us a reason to make the move ?

Maybe because microsoft is not an open source company, and things like these: https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguish

For now we won’t attribute motive to them. They may have changed.
Of course we will remain alert.