-msg "Pointing this checkout's origin at %s …" "${SERVER}"
-if try_quiet git -C "${PATH_SRC_REPO}" remote get-url origin; then
- PUSHURL=$(git -C "${PATH_SRC_REPO}" config --get remote.origin.pushurl)\
- || PUSHURL=""
- git -C "${PATH_SRC_REPO}" remote set-url origin "${URL_REMOTE_REPO}"
- if [ -n "${PUSHURL}" ] && [ "${PUSHURL}" != "${URL_REMOTE_REPO}" ]; then
- msg 'Note: origin also has a separate pushurl (%s)' "${PUSHURL}"
- msg 'left untouched; a bare git push will still use it. To also'
- msg 'repoint pushes here:'
- msg ' git remote set-url --push origin %s' "${URL_REMOTE_REPO}"
- fi
-else
- git -C "${PATH_SRC_REPO}" remote add origin "${URL_REMOTE_REPO}"
+point_repo_origin "${PATH_SRC_REPO}" "${URL_REMOTE_REPO}"
+PUSHURL=$(git -C "${PATH_SRC_REPO}" config --get remote.origin.pushurl)\
+ || PUSHURL=""
+if [ -n "${PUSHURL}" ] && [ "${PUSHURL}" != "${URL_REMOTE_REPO}" ]; then
+ msg 'Note: origin also has a separate pushurl (%s)' "${PUSHURL}"
+ msg 'left untouched; a bare git push will still use it. To also'
+ msg 'repoint pushes here:'
+ msg ' git remote set-url --push origin %s' "${URL_REMOTE_REPO}"