Skip to content

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

Jacob Vosmaer 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

Merge request reports