Not strictly related, but every time I see projects moving to Gitlab it makes me happy. GitHub certainly has been adding some very sweet features, a lot of great integrations - but with each one you lock yourself in. We cannot afford another monopoly.