What does Microsoft’s Acquisition of GitHub Mean for Monero?

Developers are migrating to GitLab en masse in wake of announcement.