Push to origin, not a hard-coded remote, in release script
We all have different ways of accessing Git. This change avoids having to force uniformity.
Edited by Jacob Vosmaer
We all have different ways of accessing Git. This change avoids having to force uniformity.