Browse Source
CI: use git client provided by docker image
We still can't use the default Cirrus's one...
emacs-27
Leonid Plyushch
6 years ago
No known key found for this signature in database
GPG Key ID: 45F2964132545795
1 changed files with
12 additions and
0 deletions
-
.cirrus.yml
|
|
|
@ -16,6 +16,18 @@ task: |
|
|
|
TERMUX_ARCH: i686 |
|
|
|
TERMUX_ARCH: x86_64 |
|
|
|
|
|
|
|
# Do not use built-in git client provided by Cirrus as may |
|
|
|
# cause problems when determining changed files. |
|
|
|
clone_script: | |
|
|
|
if [[ -z "$CIRRUS_PR" ]]; then |
|
|
|
git clone --recursive --branch="$CIRRUS_BRANCH" "https://x-access-token:${CIRRUS_REPO_CLONE_TOKEN}@github.com/${CIRRUS_REPO_FULL_NAME}.git" "$CIRRUS_WORKING_DIR" |
|
|
|
git reset --hard "$CIRRUS_CHANGE_IN_REPO" |
|
|
|
else |
|
|
|
git clone --recursive "https://x-access-token:${CIRRUS_REPO_CLONE_TOKEN}@github.com/${CIRRUS_REPO_FULL_NAME}.git" "$CIRRUS_WORKING_DIR" |
|
|
|
git fetch origin "pull/$CIRRUS_PR/head:pull/$CIRRUS_PR" |
|
|
|
git reset --hard "$CIRRUS_CHANGE_IN_REPO" |
|
|
|
fi |
|
|
|
|
|
|
|
build_script: | |
|
|
|
bash ./scripts/build/ci/cirrus-ci_dispatcher.sh |
|
|
|
|
|
|
|
|
