From 1d30db4ca9e3075b1068ff2e144fd6923bacbf9d Mon Sep 17 00:00:00 2001
From: Benjamin Winkel <bwinkel@mpifr.de>
Date: Tue, 18 Jul 2017 08:40:17 +0200
Subject: [PATCH] try to bugfix doctr pushing to gh-pages

was getting error message: Don't have permission to push. Not trying.
(perhaps, because we were in a detached head state?)
---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index c5156caa1..a7ea04faa 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -170,11 +170,12 @@ script:
    - $MAIN_CMD $SETUP_CMD
    - echo "DO_DOCS" $DO_DOCS
    # also have to remove the c-files, generated during build
+   #  --built-docs docs/_build/html/
    - 'if [[ $TRAVIS_TAG && $DO_DOCS ]]; then
        set -e;
        conda install doctr;
        git reset --hard HEAD;
-       doctr deploy . --built-docs docs/;
+       doctr deploy . --no-require-master;
      fi'
 
 after_success: