Adding config for git to work on ssh

This commit is contained in:
Louis 2025-05-15 22:57:41 +02:00
parent 4029c3768c
commit f9bc615433

View file

@ -37,6 +37,8 @@ commit_and_push:
if git diff --name-only $CI_COMMIT_BEFORE_SHA $CI_COMMIT_SHA | grep -q 'README.qmd'; then if git diff --name-only $CI_COMMIT_BEFORE_SHA $CI_COMMIT_SHA | grep -q 'README.qmd'; then
git config --global user.email "ci@example.com" git config --global user.email "ci@example.com"
git config --global user.name "CI Bot" git config --global user.name "CI Bot"
git remote remove origin
git remote add origin https://gitlab-ci-token:${CI_JOB_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git
git add README.md git add README.md
git commit -m "[ci skip]: maj auto du README.md après rendu Quarto" git commit -m "[ci skip]: maj auto du README.md après rendu Quarto"
git push origin HEAD:$CI_COMMIT_REF_NAME git push origin HEAD:$CI_COMMIT_REF_NAME