Open rgaiacs opened 10 months ago
https://mybinder.readthedocs.io/en/latest/about/federation.html uses The BinderHub Federation and https://mybinder-sre.readthedocs.io/en/latest/operation_guide/federation.html uses The mybinder.org Federation.
I think mybinder.org Federation makes more sense, since BinderHub is the application used by others outside the federation.
mybinder.org Federation
https://mybinder.readthedocs.io/en/latest/about/federation.html uses The BinderHub Federation and https://mybinder-sre.readthedocs.io/en/latest/operation_guide/federation.html uses The mybinder.org Federation.