From 953d6d1889eba3c9e9bc1b1c3be396f22324bce8 Mon Sep 17 00:00:00 2001 From: Alexandre Gramfort Date: Thu, 19 Oct 2017 09:23:51 +0200 Subject: [PATCH] update circle --- circle.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/circle.yml b/circle.yml index 6cca7f4aa35..9abb4ff43f4 100644 --- a/circle.yml +++ b/circle.yml @@ -84,7 +84,7 @@ dependencies: fi; if [ "$CIRCLE_BRANCH" == "master" ] || [[ $(cat gitlog.txt) == *"[circle full]"* ]]; then echo html_dev > build.txt; - elif [ "$CIRCLE_BRANCH" == "maint/0.14" ]; then + elif [ "$CIRCLE_BRANCH" == "maint/0.15" ]; then echo html_stable > build.txt; else FNAMES=$(git diff --name-only $CIRCLE_BRANCH $(git merge-base $CIRCLE_BRANCH upstream/master)); @@ -182,7 +182,7 @@ deployment: - cd doc/_build/html && cp -rf * ~/mne-tools.github.io/dev - cd ../mne-tools.github.io && git add -A && git commit -m 'Automated update of dev docs.' && git push origin master stable: - branch: maint/0.14 + branch: maint/0.15 commands: - git config --global user.email "circle@mne.com" - git config --global user.name "Circle Ci"