CI split-code.sh – try a different way of providing credentials

Author: adamziel

.github/workflows/release-composer-packages.yml

@@ -58,9 +58,15 @@ jobs:
             jq --version || (sudo apt-get update && sudo apt-get install -y jq)
           fi
 
+      - name: Install git-filter-repo
+        run: |
+          python3 -m pip install --user git-filter-repo
+          echo "$HOME/.local/bin" >> $GITHUB_PATH
+
       - name: Split code into component repositories
         env:
           GH_TOKEN: ${{ secrets.GH_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           PACKAGIST_USERNAME: ${{ secrets.PACKAGIST_USERNAME }}
           PACKAGIST_TOKEN: ${{ secrets.PACKAGIST_TOKEN }}
           GH_CODESPLIT_EMAIL: ${{ secrets.GH_CODESPLIT_EMAIL }}

bin/split-code.sh

@@ -55,7 +55,12 @@ split_and_push() {
   # Prefer GH_TOKEN; fall back to GITHUB_TOKEN for GitHub Actions
   token="${GH_TOKEN:-${GITHUB_TOKEN:-}}"
 
-  repo_url="https://x-access-token:${token}@github.com/${org}/${repo_name}.git"
+  if [[ -n "$token" ]]; then
+    git config --global url."https://x-access-token:${token}@github.com/".insteadOf "https://github.com/" || true
+    repo_url="https://github.com/${org}/${repo_name}.git"
+  else
+    repo_url="[email protected]:${org}/${repo_name}.git"
+  fi
 
   echo "==> Splitting ${pkg_dir} -> ${org}/${repo_name}"