Merge branch 'gitlab-move' into 'master'

treewide: move to our new GitLab URL

See merge request !1019
14 jobs for master
in 28 minutes and 6 seconds and was queued for 1 second
Scheduled