commit cd044d965e10bfbafc65112141aa75d77fa74c5f
parent 8797e396277e4d98099ac08295baa78cfdae28d9
Author: minerva-jupiter <ryouturn@gmail.com>
Date: Tue, 22 Apr 2025 08:24:05 +0900
set-rul?
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml
@@ -26,6 +26,7 @@ jobs:
git config --global user.email $GHA_NAME
gh repo clone $GIT_URL
cd ${GITHUB_REPOSITORY#${GITHUB_REPOSITORY_OWNER}/}
+ git remote set-url origin https://{$GHA_NAME}:{$GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
git fetch origin $BRANCH
git checkout $BRANCH
cp ../main.pdf ./converted/