> what are developers going to do when Google inevitably acquires GitLab?

There are downsides to MS owning Github, but Google is in a whole separate universe of Evil.

So the answer is: Move out, don't hesitate, and if there's no other viable choice, yes, move back to Gitgub.