I'm confused at the connection between Microsoft/Github and the decision that Gitlab made here.