mirror URL

AztecProtocol · Mar 3, 2025 · 35392e2 · 35392e2
1 parent 8b38ca5
commit 35392e2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/boxes/bootstrap.sh b/boxes/bootstrap.sh
@@ -68,8 +68,9 @@ function release_git_push {
     jq --arg v $version ".dependencies[\"$pkg\"] = \$v" package.json >$tmp && mv $tmp package.json
   done
 
-  # We use 'gh repo clone' as it can authenticate through GITHUB_TOKEN.
-  gh repo clone "$mirrored_repo_url"
+  git init &>/dev/null
+  git remote add origin "$mirrored_repo_url" &>/dev/null
+  git fetch origin --quiet
 
   # Checkout the existing branch or create it if it doesn't exist.
   if git ls-remote --heads origin "$branch_name" | grep -q "$branch_name"; then

diff --git a/l1-contracts/bootstrap.sh b/l1-contracts/bootstrap.sh
@@ -97,8 +97,6 @@ function release_git_push {
     jq --arg v $version ".dependencies[\"$pkg\"] = \$v" package.json >$tmp && mv $tmp package.json
   done
 
-
-  # We use 'gh repo clone' as it can authenticate through GITHUB_TOKEN.
   git init &>/dev/null
   git remote add origin "$mirrored_repo_url" &>/dev/null
   git fetch origin --quiet