Is Mybinder.org down?

[arnim]

https://downforeveryoneorjustme.com/mybinder.org

[manics]

The OVH K8s cluster is inaccessible 😢

[arnim]

😢

[minrk]

Looks like the OVH account is suspended, I'm looking into it. I'm not sure if or when it will come back up.

[minrk]

I'm not sure how long it's going to take. We could make GESIS 'prime' in the meantime and things would come back up. This would look weird because GESIS has the custom page template. What do folks think about that (especially @arnim)?

Alternatively, we could put up a simple page that says "We're down for now, federation member GESIS is available at..." with a link to sponsor/join the federation.

[manics]

If @arnim is happy I think making GESIS prime is better from a usability point of view. It's a custom page, but it's not too different from having an extra large sponsorship banner.

[arnim]

cc @rgaiacs what do you think?

[minrk]

@arnim or @rgaiacs feel free to approve/merge #3161 and it should happen, if you think that's okay on your side.

[arnim]

Ideally, we would be able to run a “clean” Binder to maintain the design people are accustomed to. I just discussed potential options with @rgaiacs, but we depend on @rgaiacs’s technical expertise.

[rgaiacs]

Regarding computational resources, GESIS could host a default BinderHub to answer to mybinder.org and a GESIS branded BinderHub to answer to notebooks.gesis.org. But I'm not 100% sure if mybinder.org would transfer the traffic to notebooks.gesis.org.

[rgaiacs]

Also, my understanding is that to host the default BinderHub, we would need a domain configured to 194.95.75.9.

[minrk]

If we could make request headers available to the custom page template, is it possible to make your customizations conditional on that, to avoid a second instance? (this would require a small patch to pass self.request to the template_namespace). Proxied request are identifiable via the X-Forwarded-Host, Origin, and X-Binder-Launch-Host headers.

If you're okay receiving the traffic and having GESIS branding served from the mybinder.org domain temporarily, I propose making GESIS prime (#3161) and then working on getting the default template back on the main page.

[minrk]

mybinder.org is back up, served by GESIS, thank you!