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

fix: remote URL push

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

3
mirror.sh
View File

@ -9,5 +9,6 @@ URL="${GITHUB_SERVER_URL/\/\//\/\/$GITHUB_REPOSITORY_OWNER:$INPUT_TOKEN@}/$GITHU
git init -b main git init -b main
git remote add origin "$URL" git remote add origin "$URL"
git remote add origin --push "$INPUT_URL"
git fetch -pP git fetch -pP
git push origin --repo="$INPUT_URL" --mirror git push origin --mirror