Merge branch 'fix-default-repo_url' into 'master'

Fix default repo url

See merge request !71
6 jobs for master in 7 minutes and 25 seconds (queued for 2 seconds)