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!

[arnim]

https://mybinder.org/v2/gh/binder-examples/requirements/HEAD

Failed to connect to event stream: 404 - function text() {
    [native code]
}
Error in event stream: Error

[manics]

It's not working with Firefox- there are a lot of CORS errors related to fonts, and building a repo fails. E.g.
https://mybinder.org/v2/gh/binderhub-ci-repos/cached-minimal-dockerfile/HEAD
calls GET https://mybinder.org/binder/build/gh/binderhub-ci-repos/cached-minimal-dockerfile/HEAD which returns a 404

[rgaiacs]

there are a lot of CORS errors

I'm working to add the mybinder.org domain to the reverse proxy.

[rgaiacs]

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?

GESIS is using an old template, see https://github.com/gesiscss/orc2/tree/3c90889c3a28981ab9d5f375c44998fba3eef282/helm/charts/gesis/files/etc/binderhub/templates.

[arnim]

@rgaiacs If it helps, we can also drop the custom GESIS NB templates and use the off-the-shelf ones. we would need to write a eulogy, but that’s a task for another day.

[rgaiacs]

@manics @minrk I don't think that I can fix the CORS fast enough. This is because of the many layers involved.

At the time of write, this is my understanding

User requests https://mybinder.org/ and gets

The page browser fails for some requests due CORS.

User fills the form, press launch, and gets

More requests fails due CORS.

[minrk]

ok, I didn't realize how much was customized, I thought it was just the surrounding HTML

[minrk]

We can try replacing the federation redirector with a redirector temporarily

[minrk]

#3165 should redirect everything to GESIS instead of proxying

[rgaiacs]

I confirm that after #3165, when the user visits https://mybinder.org/ the user is redirected to https://notebooks.gesis.org/binder/.

[minrk]

ok, now it's a simple redirect, so should be a lot more stable and predictable for the meantime, less pressure on folks (and no concern about the GESIS branding being served from a different domain)

[rgaiacs]

At the time of writing,

1. https://mybinder.org/ is doing a redirect to https://notebooks.gesis.org/.
2. https://notebooks.gesis.org/ is returning the vanilla BinderHub page
3. the launch button is working

2025-01-13.17-36-31.mp4

The GESIS server was down for ~1h.