File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -84,7 +84,7 @@ dependencies:
84
84
fi;
85
85
if [ "$CIRCLE_BRANCH" == "master" ] || [[ $(cat gitlog.txt) == *"[circle full]"* ]]; then
86
86
echo html_dev > build.txt;
87
- elif [ "$CIRCLE_BRANCH" == "maint/0.14 " ]; then
87
+ elif [ "$CIRCLE_BRANCH" == "maint/0.15 " ]; then
88
88
echo html_stable > build.txt;
89
89
else
90
90
FNAMES=$(git diff --name-only $CIRCLE_BRANCH $(git merge-base $CIRCLE_BRANCH upstream/master));
@@ -182,7 +182,7 @@ deployment:
182
182
- cd doc/_build/html && cp -rf * ~/mne-tools.github.io/dev
183
183
- cd ../mne-tools.github.io && git add -A && git commit -m 'Automated update of dev docs.' && git push origin master
184
184
stable :
185
- branch : maint/0.14
185
+ branch : maint/0.15
186
186
commands :
187
187
-
git config --global user.email "[email protected] "
188
188
- git config --global user.name "Circle Ci"
You can’t perform that action at this time.
0 commit comments