Closed fcollonval closed 1 year ago
Binder is now using Jupyter Server. Enabling the extension the old way is not needed - let's remove it.
Ref https://discourse.jupyter.org/t/mybinder-org-and-repo2docker-updates/18333
Binder is now using Jupyter Server. Enabling the extension the old way is not needed - let's remove it.