What's your source for the ARR comparison, out of interest? I'm of a different impression, and believe GitHub's ARR was actually quite a bit higher than GitLab at the point Microsoft executed that deal.
Do you think the GitHub or GitLab brand is stronger, today?
Now if your talking about brand and positioning that's another matter.