I will keep using Github if MS will make the move just like how they have done on LinkedIn. Github is still the biggest platform for developers managing their codes. Second, GitLab CI is a good option. If acquisition will help Github to have such a service with the resources probably from MS, do expect the acquisition happens.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
I will keep using Github if MS will make the move just like how they have done on LinkedIn. Github is still the biggest platform for developers managing their codes. Second, GitLab CI is a good option. If acquisition will help Github to have such a service with the resources probably from MS, do expect the acquisition happens.