And? Loads of projects moved to GitHub when there was no Microsoft-employee involvement because it's just a very good service. And for a good long time, nothing else out there existed which could even start to compete with it. GitLab came along somewhat later.