GitLab Gains After Microsoft Buys GitHub