improve documentation

Author: fangohr

.github/workflows/binder-nbval.yml

@@ -1,5 +1,7 @@
 name: NBVAL on binder container
 
+# We use `repo2docker` to build the docker image. Same as would happen on myBinder (or other Binder instances)
+
 on:
   pull_request:
     branches: [ master ]

binder/info.org

@@ -12,19 +12,3 @@ leaner definition of dependencies.
 Binder should look in this directory (as it is called 'binder') and ignore the
 global Dockerfile.
 
-* Re-use dependencies from development environment in myBinder
-
-I don't know if myBinder could read dependencies from a pyproject.toml file (and
-couldn't find any documentation on this yet), nor if we can extract a
-requirements.txt file from the pyproject.toml file automatically.
-
-As a first step towards making the binder image leaner, I will stick to a definition via a Dockerfile, and leave out latex to make it smaller.
-
-This didn't go so well.
-
-Next attempt: specifying the packages we need in requirements.txt directly. It's
-not ideal, as we don't run tests on the particular versions, and we duplicate
-some effort from ../pyproject.toml here in reqiuirements.txt. On the positive
-side, Binder start-up time could be much smaller (and Binder work at all).
-
-