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 39 seconds and was queued for 0 seconds
Scheduled