Skip to content

Push release tags to gitlab.com only

Jacob Vosmaer requested to merge push-to-com-only into master

In the past we did not have automatic synchronization of the gitlab-workhorse repository between gitlab.com and dev.gitlab.org. For that reason I set up the release script to push to both of these remotes.

We don't do this anymore in other projects and I think we should stop doing it here too. It's annoying if e.g. your personal access token on dev.gitlab.org expired to have the release script fail.

Merge request reports