Merge branch 'gitlab-move' into 'master'

treewide: move to our new GitLab URL

See merge request !1019
14 jobs for master
in 36 minutes and 32 seconds and was queued for 2 seconds
Scheduled