Fix sync-versions SSH auth on older release branches (#4545)

The GIT_CLONE_URL_BASE variable only exists on master, so passing it on
the command line has no effect on older release branches where the SSH
URL is hardcoded. Use git's insteadOf config to rewrite SSH URLs to
HTTPS at the git level, which works regardless of the Makefile version.

Author: caseydavenport

.github/workflows/sync-versions.yml

@@ -31,6 +31,7 @@ jobs:
         run: |
           git config --global credential.helper store
           echo "https://marvin-tigera:${GITHUB_TOKEN}@github.com" > ~/.git-credentials
+          git config --global url."https://github.com/".insteadOf "git@github.com:"
         env:
           GITHUB_TOKEN: ${{ secrets.MARVIN_PAT }}