Re:Binder – Turn a Git repo into a collection of interactive...
by merlincorey on Monday January 21, 2019 @07:47PM
(#18965030)
I have setup one for Norvig's pytudes: https://hub.mybinder.org/user/norvig-pytudes-i2p4l9gx/tree
[ Parent
| on HN ]
Re:Binder – Turn a Git repo into a collection of interactive...
by drusepth on Monday January 21, 2019 @08:04PM
(#18965120)
This link gives me a "Binder inaccessible" error, FWIW.
>Is this a Binder that you created?
>If so, your authentication cookie for this Binder has been deleted or expired. You can launch a new Binder for this repo by clicking here.
> Did someone give you this Binder link?
>If so, the link is outdated or incorrect. Recheck the link for typos or ask the person who gave you the link for an updated link. A shareable Binder link should look like https://mybinder.org.
I got the link to work by mangling it into the following format, but I'm not sure if this is what you were intending: https://mybinder.org/v2/gh/norvig/pytudes/master
Re:Binder – Turn a Git repo into a collection of interactive...
by betatim on Tuesday January 22, 2019 @01:20AM
(#18966364)
That is the right link. Unfortunately we haven't yet found a good UX solution to people sharing the "wrong" link which only works for their personal instance.
(I am a project lead on binder)