actions/mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: push to remote branch with correct name

Browse Source
This commit is contained in:
ange 2024-11-18 10:38:33 +00:00
parent 3ed7abc86d
commit 09617848a5
Signed by: ange
GPG Key ID: 9E0C4157BB7BEB1D
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mirror.sh
View File

@ -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"