commit 5c7e16dbf4c474c4167ac89ff6f38f436f969359
parent 4960f6703e7540e6415bce4d014e2e28f2d09c44
Author: minerva-jupiter <ryouturn@gmail.com>
Date: Tue, 22 Apr 2025 08:11:17 +0900
delete push
Diffstat:
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml
@@ -24,12 +24,10 @@ jobs:
run: |
git config --global user.name "Minerva_Juppiter"
git config --global user.email "ryouturn@gmail.com"
- git remote set-url origin https://minerva-jupiter:${GITHUB_TOKEN}@${GIT_URL#https://}
gh repo clone $GIT_URL
cd ${GITHUB_REPOSITORY#${GITHUB_REPOSITORY_OWNER}/}
git fetch origin $BRANCH
git checkout $BRANCH
cp ../main.pdf ./converted/
git add .
- git commit -m "add pdf to PR"
- git push-
\ No newline at end of file
+ git commit -m "add pdf to PR"+
\ No newline at end of file