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

feat: change branch name

Browse Source
This commit is contained in:
ange 2024-11-18 16:10:59 +00:00
parent 393a57abdd
commit 9a7167c0f4
Signed by: ange
GPG Key ID: 9E0C4157BB7BEB1D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mirror.sh
View File

@ -8,7 +8,7 @@ chmod 600 "$HOME/.ssh/id_ed25519"
URL="${GITHUB_SERVER_URL/\/\//\/\/$GITHUB_REPOSITORY_OWNER:$INPUT_TOKEN@}/$GITHUB_REPOSITORY" URL="${GITHUB_SERVER_URL/\/\//\/\/$GITHUB_REPOSITORY_OWNER:$INPUT_TOKEN@}/$GITHUB_REPOSITORY"
set -x set -x
git init -b main git init -b "$GITHUB_REF_NAME"
git remote add origin "$URL" git remote add origin "$URL"
git fetch --no-tags --prune --no-recurse-submodules origin "$GITHUB_SHA" git fetch --no-tags --prune --no-recurse-submodules origin "$GITHUB_SHA"
git push --repo="$INPUT_URL" origin "$GITHUB_SHA:$GITHUB_REF" git push --repo="$INPUT_URL" origin "$GITHUB_REF_NAME:$GITHUB_REF"