Developers move to GitLab after GitHub was acquired by Microsoft

Developers move Gitlab