From 09617848a5c775d1cb20aa3a6ea605c2c2813932 Mon Sep 17 00:00:00 2001 From: ange Date: Mon, 18 Nov 2024 10:38:33 +0000 Subject: [PATCH] fix: push to remote branch with correct name --- mirror.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/mirror.sh b/mirror.sh index f4d4d38..153e410 100755 --- a/mirror.sh +++ b/mirror.sh @@ -5,6 +5,4 @@ echo "$INPUT_SSH_PRIV" > "$HOME/.ssh/id_ed25519" echo "$INPUT_KNOWN_HOSTS" > "$HOME/.ssh/known_hosts" git remote set-url --push origin "$INPUT_URL" -git fetch --no-tags --prune --no-recurse-submodules --depth=1 origin "$GITHUB_REF_NAME" -git checkout "$GITHUB_REF_NAME" -git push origin "$GITHUB_REF_NAME" +git push origin "main:$GITHUB_REF_NAME"