when refreshing upstream, use push URL master
authorGraham Knop <haarg@haarg.org>
Mon, 25 Apr 2022 13:06:04 +0000 (15:06 +0200)
committerGraham Knop <haarg@haarg.org>
Mon, 25 Apr 2022 13:17:28 +0000 (15:17 +0200)
commit462638829d24342e2258eba917a98c130e0ff8ef
tree98d1afd603cf514245bd02a5ca597c3292b64140
parent82d5ea32d43cf4102a17dc59b387c70020f3c1ca
when refreshing upstream, use push URL

Part of the release process involves pushing to the git remote, so try
to validate that early. We can't do an actual push early, to verify the
permissions, but we can at least verify that the push URL works.

This can be a problem when using different URLs for pull vs push, like
https for pull and ssh for push. If you are on a restricted network, one
may fail while the other would work.
lib/Distar/helpers/preflight