Federation support

[yuvipanda]

Me and @fperez came up with a pretty good (and really simple) federation scheme for binders late evening this friday.

I'll document that here in a day or two!

[choldgraf]

did this ever get documented somewhere???

[yuvipanda]

I still remember it, so it's in my head ;) I'll try to document it whenever I can

…

On Tue, Aug 15, 2017 at 12:09 PM, Chris Holdgraf ***@***.***> wrote: did this ever get documented somewhere??? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#63 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAB23h_fDAGks--0DdlkHWPnevKP5Q2nks5sYe0FgaJpZM4OEQ7o> .

-- Yuvi Panda T http://yuvi.in/blog

[choldgraf]

sounds good...I'll ping you again in 3 months haha --

…

On Tue, Aug 15, 2017 at 3:01 PM Yuvi Panda ***@***.***> wrote: I still remember it, so it's in my head ;) I'll try to document it whenever I can On Tue, Aug 15, 2017 at 12:09 PM, Chris Holdgraf ***@***.*** > wrote: > did this ever get documented somewhere??? > > — > You are receiving this because you authored the thread. > Reply to this email directly, view it on GitHub > < #63 (comment)>, > or mute the thread > < https://github.com/notifications/unsubscribe-auth/AAB23h_fDAGks--0DdlkHWPnevKP5Q2nks5sYe0FgaJpZM4OEQ7o > > . > -- Yuvi Panda T http://yuvi.in/blog — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#63 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABwSHQ-qW4evj5Az3V4nj60lg0JIMbdaks5sYhUpgaJpZM4OEQ7o> .

[willingc]

How about 3 bullets to get it out of your head? @yuvipanda :-)

[Carreau]

Summarizing for Yuvi – If I understood /inferred correctly

Have a hardcoded list of default alternative well know binder, and when hitting http://mybinder.org/ have a page asking:

Which binder to use ?
- binder.anaconda.org
- binder.microsoft.com
- binder.google.com
- custom url: 

The custom URL(s) and default chosen binder can be stored in a Cookie; so that when a user click a https://mybinder.org/path/to/repo they will be redirected to their chosen binder which may (or may not) be behind authentication.

Institutions can provide a link for their users tohttps://mybinder.org/add?https://binder.berkeley.edu that would be registered into users available binder (in the cookie). [Hidden iframe to set the cookie automatically ?]

If there is a known well defined URL scheme and API, mybinder.org can also poll known binders to see if they are up before redirecting.

We likely need a /settings/ page to allow people to change their default binder, or remove some if other binders are stopped.

[luizirber]

This might be too random, but this last week this Rotonde social network showed up, and it has a super simple implementation: a file named portal.json inside a dat archive

• the port field would be equivalent to your list of default alternatives, and you can also add more if you want.
• all the posts are in the field 'feed'
  The benefit of this simple approach is that the client can be smarter (or even updated) without users losing their data.
  More info: https://github.com/Rotonde/Specs

@Carreau ideas are way more robust than this approach, but I thought it might be useful to leave this comment here.

[betatim]

Related work in #274

[Carreau]

I'm happy with the current state of #274 and would likely like to get more reviews, and maybe get it in the wild to get limited feedback.

[choldgraf]

Do you mean you'd "like to get" more reviews?

[Carreau]

Do you mean you'd "like to get" more reviews?

Yeah, sorry, I was tired and speak french a lot these days my brain is confused.