Let’s just be clear, M$ bought Github, not git itself. If they decide to create MS-git, then we should look at moving repos.
That said, as many people have stated, it can’t hurt to mirror gitlabs or a local repo to github for High Availability and re-assurance.
Thanks,
D