Merge branch 'gitlab-move' into 'master'

treewide: move to our new GitLab URL

See merge request !1019
35 jobs for nightly
in 3 minutes and 12 seconds and was queued for 5 seconds