From f33a44cfd6606b860172825f0e9189e0fd0f339b Mon Sep 17 00:00:00 2001 From: ange Date: Mon, 18 Nov 2024 16:00:59 +0000 Subject: [PATCH] fix fetch --- mirror.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/mirror.sh b/mirror.sh index d1b574e..0d3a2cd 100755 --- a/mirror.sh +++ b/mirror.sh @@ -9,6 +9,5 @@ URL="${GITHUB_SERVER_URL/\/\//\/\/$GITHUB_REPOSITORY_OWNER:$INPUT_TOKEN@}/$GITHU git init -b main git remote add origin "$URL" -git remote set-url --push origin "$INPUT_URL" -git fetch -pP -git push origin --mirror +git fetch --no-tags --prune --no-recurse-submodules origin "$GITHUB_SHA" +git push --repo="$INPUT_URL" origin "main:$GITHUB_REF"