https://www.reuters.com/article/us-github-microsoft-gitlab/gitlab-gains-developers-after-microsoft-buys-rival-github-idUSKCN1J12BR >Microsoft Corp's decision to buy GitHub has been a blessing for rival U.S. coding platform GitLab, which has seen thousands of developers jump ship on worries that GitHub may end up favoring Microsoft products over others.