jupyterlab / jupyter-collaboration

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

Add check for user value in CollaboratorsPanel #383

Closed martinRenou closed 1 month ago

martinRenou commented 1 month ago

Follow up https://github.com/jupyterlab/jupyter-collaboration/pull/367.

The server awareness has no user by default, to avoid seeing it as a collaborator if not required.

github-actions[bot] commented 1 month ago

Binder :point_left: Launch a Binder on branch _martinRenou/jupyter-collaboration/update_collaboratortyping

brichet commented 1 month ago

@martinRenou I added a description.