fix git user profile in ci

This commit is contained in:
n3t1zen
2026-05-04 14:19:11 +08:00
parent a781e3ac62
commit 7b24c99449
+2
View File
@@ -9,6 +9,8 @@ REV_FILE="$ROOT/works/rev"
# defaults # defaults
REPO_URL="git@git.inker.bot:arknights/sing-box.git" REPO_URL="git@git.inker.bot:arknights/sing-box.git"
if [ ! -z "$CI_JOB_TOKEN" ]; then if [ ! -z "$CI_JOB_TOKEN" ]; then
git config --global user.name imabot
git config --global user.email ci@inker.bot
git config --global url."https://gitlab-ci-token:${CI_JOB_TOKEN}@git.inker.bot/".insteadOf "git@git.inker.bot:" git config --global url."https://gitlab-ci-token:${CI_JOB_TOKEN}@git.inker.bot/".insteadOf "git@git.inker.bot:"
fi fi
UPSTREAM_BRANCH="main" UPSTREAM_BRANCH="main"