commit d0579ca4bb669af8bcc545bef020098d2e88d099
parent bd3e3044cf3d20e184c63d4a2c363ae40df64d00
Author: minerva-jupiter <ryouturn@gmail.com>
Date: Mon, 21 Apr 2025 22:35:16 +0900
git config change username?
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml
@@ -22,7 +22,7 @@ jobs:
BRANCH: ${{ github.event.pull_request.head.ref }}
URL: ${{ github.event.pull_request.html_url }}
run: |
- git config --global user.name "minerva-jupiter"
+ git config --global user.name "$Minerva_Juppiter"
git config --global user.email "latex-template@minervajuppiter.net"
gh repo clone $GIT_URL
cd ${GITHUB_REPOSITORY#${GITHUB_REPOSITORY_OWNER}/}