[doc build] Use a separate repo for binder examples.

lesteve · lesteve · commit afa4de034f34 · 2019-07-29T15:46:46.000+02:00
diff --git a/build_tools/circle/push_doc.sh b/build_tools/circle/push_doc.sh
@@ -60,13 +60,6 @@ git config user.email "olivier.grisel+sklearn-ci@gmail.com"
 git config user.name $USERNAME
 git config push.default matching
 
-# binder folder for requirements needs to be at the root of the repo
-if [ -d dev/binder ]; then
-    rm -f binder
-    ln -s dev/binder
-    git add binder
-fi
-
 git commit -m "$MSG" $dir
 git push
 echo $MSG
diff --git a/doc/binder/requirements.txt b/doc/binder/requirements.txt
@@ -1,7 +1,4 @@
-# Requirements for running the examples
-numpy
-scipy
-scikit-learn
-matplotlib
-pandas
-scikit-image
+# This is required by sphinx-gallery 0.4 but not needed since the examples are
+# not in the scikit-learn.github.io repo that comes from the scikit-learn doc
+# build but on a separate repo. This file can be removed if 'dependencies' key
+# is made an optional key for binder in sphinx-gallery.
diff --git a/doc/conf.py b/doc/conf.py
@@ -255,9 +255,9 @@
     'examples_dirs': ['../examples'],
     'gallery_dirs': ['auto_examples'],
     'binder': {
-        'org': 'scikit-learn',
-        'repo': 'scikit-learn.github.io',
-        'url': 'https://mybinder.org',
+        'org': 'lesteve',
+        'repo': 'test-binder-scikit-learn',
+        'binderhub_url': 'https://mybinder.org',
         'branch': 'master',
         'dependencies': './binder/requirements.txt',
         'use_jupyter_lab': True
