jupyterlab / jupyter-collaboration

A Jupyter Server Extension Providing Support for Y Documents
https://jupyterlab-realtime-collaboration.readthedocs.io/en/latest/
Other
140 stars 29 forks source link

Rename the docprovider destination name to avoid conficts #285

Closed brichet closed 2 months ago

brichet commented 2 months ago

Fix the docprovider extension destination path, following https://github.com/jupyterlab/jupyter-collaboration/pull/280

Fixes https://github.com/jupyterlab/jupyter-collaboration/issues/283

We should probably add some tests (I don't even know how it passed)

github-actions[bot] commented 2 months ago

Binder :point_left: Launch a Binder on branch _brichet/jupyter_collaboration/rename_docproviderextension

brichet commented 2 months ago

The Check Release test seems to be broken on main too.

davidbrochart commented 2 months ago

Thanks a lot Nicolas!