Skip to content

Push to origin, not a hard-coded remote, in release script

Jacob Vosmaer (GitLab) requested to merge release-push-https into master

We all have different ways of accessing Git. This change avoids having to force uniformity.

Edited by Jacob Vosmaer (GitLab)

Merge request reports