In this (hypothetical) case I’d assume a Gitlab acquisition would be more of a hedge against Microsoft for Google than anything else.