Gitlab was already migrating away from Microsoft Azure I believe. That process could take a long time though.
You guys think that this will spell doom for the Github as we know it?
They've done that a while ago now, though the actual acquisition was completed.