Developers move to GitLab after GitHub was acquired by Microsoft