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.