2024-10-08 14:23:42 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
2024-10-08 15:06:42 +03:00
|
|
|
# git workaround
|
|
|
|
|
if [[ "${CI_BUILD}" != "no" ]]; then
|
|
|
|
|
git config --global --add safe.directory "/__w/$( echo "${GITHUB_REPOSITORY}" | awk '{print tolower($0)}' )"
|
|
|
|
|
fi
|
|
|
|
|
|
2024-10-08 14:23:42 +03:00
|
|
|
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-edit "origin/${BRANCH_NAME}"
|
|
|
|
|
fi
|
