Top mybinder.org-deploy issues

CORS issue causing event stream error on gesis

minrk picture minrk·13 Feb 2020·76 Comments

Use OVH as a second cluster

choldgraf picture choldgraf·3 Oct 2018·52 Comments
👍2

Turing joining the Binder Federation: Part 2!

sgibson91 picture sgibson91·10 Sep 2019·58 Comments
🚀2 ❤1 🎉1

Migrate mybinder.org from kube-lego to cert-manager for LetsEncrypt

sgibson91 picture sgibson91·5 Sep 2019·44 Comments
👍1

Turing cluster un-upgradeable

bug
sgibson91 picture sgibson91·7 Jul 2020·39 Comments

DNS resolution of *.mybinder.org on turing

minrk picture minrk·17 Jun 2020·36 Comments

Upgrading to helm 3

minrk picture minrk·17 Jul 2020·18 Comments
👍1

Config option to disable jitsi video chat button?

seibert picture seibert·12 Aug 2020·8 Comments
👍1

Henchbot on heroku?

help wanted
betatim picture betatim·12 Aug 2019·15 Comments

Re-evaluate machine types

minrk picture minrk·11 Jun 2018·15 Comments
Next issues