ci: add user/email for merge [skip ci]

This commit is contained in:
Baptiste Augrain 2023-12-17 19:41:35 +01:00
parent 1c424b6c05
commit 6ada8c9026

View file

@ -11,10 +11,12 @@ fi
if [[ -n "${PULL_REQUEST_ID}" ]]; then
BRANCH_NAME=$( git rev-parse --abbrev-ref HEAD )
git config --global user.email "$( echo "${GITHUB_USERNAME}" | awk '{print tolower($0)}' )-ci@not-real.com"
git config --global user.name "${GITHUB_USERNAME} CI"
git fetch --unshallow
git fetch origin "pull/${PULL_REQUEST_ID}/head"
git checkout FETCH_HEAD
git merge --no-ff --no-commit "origin/${BRANCH_NAME}"
git merge --no-edit "origin/${BRANCH_NAME}"
fi
if [[ -z "${RELEASE_VERSION}" ]]; then