Having realised I can use jupyter/repo2docker rather than killing binderhub (doh! Sorry:-( I was wondering if there is a simple way of just using repo2docker to build and name/tag an image on my machine, rather than building the image and running a container from it?
One more thing....Is there a way to build from a branch rather than master? eg I don't see a --branch option?
jupyter-repo2docker https://github.com/USER/REPO --ref BRANCH
unknown revision or path not in the working tree
Hmm... I'd tried with --ref BRANCH but that just gave a fatal error:Eg, for https://github.com/USER/REPO/tree/BRANCH, running:jupyter-repo2docker https://github.com/USER/REPO --ref BRANCH
gives:unknown revision or path not in the working tree