Congratulations GitHub on the acquisition by Microsoft | GitLab