workflows: Use $GITHUB_SERVER_URL

See https://docs.github.com/en/actions/reference/environment-variables#default-environment-variables

Author: martinpitt

.github/workflows/po-refresh.yml

@@ -19,7 +19,7 @@ jobs:
         run: |
           printf '[user]\n\tname = Cockpit Project\n\[email protected]\n' > ~/.gitconfig
           echo '${{ secrets.COCKPITUOUS_TOKEN }}' > ~/.config/github-token
-          # po-refresh pushes to weblate repo via https://github.com, that needs our cockpituous token
+          # po-refresh pushes to weblate repo via https, that needs our cockpituous token
           git config --global credential.helper store
           echo 'https://token:${{ secrets.COCKPITUOUS_TOKEN }}@github.com' >> ~/.git-credentials
 

.github/workflows/prune-dist.yml

@@ -13,20 +13,20 @@ jobs:
       - name: Set up configuration and secrets
         run: |
           printf '[user]\n\tname = Cockpit Project\n\[email protected]\n' > ~/.gitconfig
-          # we push to -dist repo via https://github.com, that needs our cockpituous token
+          # we push to -dist repo via https, that needs our cockpituous token
           git config --global credential.helper store
           echo 'https://token:${{ secrets.COCKPITUOUS_TOKEN }}@github.com' >> ~/.git-credentials
 
       - name: Clone -dist repo
         run: |
-          git clone https://github.com/${{ github.repository }}-dist.git dist-repo
+          git clone "${GITHUB_SERVER_URL}/${{ github.repository }}-dist.git" dist-repo
 
       - name: Delete old tags
         run: |
           set -ex
 
           # head commit SHA of default branch
-          HEAD=$(git ls-remote 'https://github.com/${{ github.repository }}' main master | cut -f1 | head -n1)
+          HEAD=$(git ls-remote "${GITHUB_SERVER_URL}/${{ github.repository }}" main master | cut -f1 | head -n1)
 
           cd dist-repo
           now="$(date +%s)"

.github/workflows/publish-dist.yml

@@ -22,7 +22,7 @@ jobs:
       - name: Set up configuration and secrets
         run: |
           printf '[user]\n\tname = Cockpit Project\n\[email protected]\n' > ~/.gitconfig
-          # we push to -dist repo via https://github.com, that needs our cockpituous token
+          # we push to -dist repo via https, that needs our cockpituous token
           git config --global credential.helper store
           echo 'https://token:${{ secrets.COCKPITUOUS_TOKEN }}@github.com' >> ~/.git-credentials
 
@@ -36,4 +36,4 @@ jobs:
           tag='sha-${{ github.event.workflow_run.head_sha }}'
           git tag "$tag"
 
-          git push https://github.com/${{ github.repository }}-dist.git "$tag"
+          git push "${GITHUB_SERVER_URL}/${{ github.repository }}-dist.git" "$tag"

.github/workflows/release.yml

@@ -31,4 +31,4 @@ jobs:
           cd /build
           # Wait for build-dist and publish-dist workflows to complete
           export DOWNLOAD_DIST_OPTIONS=--wait
-          release-runner -r https://github.com/$GITHUB_REPOSITORY -t $(basename $GITHUB_REF) ./cockpituous-release
+          release-runner -r "${GITHUB_SERVER_URL}/${{ github.repository }}" -t $(basename "$GITHUB_REF") ./cockpituous-release