Setup a mirror on dev.gitlab.org for releases

So that we perform releases from dev.gitlab.org, similar to how we release other components