-
-
Notifications
You must be signed in to change notification settings - Fork 32
Open
Labels
enhancementNew feature or requestNew feature or requestseeking consensusIssue to discuss a topic seeking consensus among the councilIssue to discuss a topic seeking consensus among the council
Description
Problem
Collaboration features are provided by the extension https://github.com/jupyterlab/jupyter-collaboration
But some key components (ydoc, pycrdt and pycrdt websocket) are not in Jupyterlab org but in jupyter server. This results in maintainers rights discrepancies between repo and increase rights management fatigue.
What do you think about moving all collaboration related in the same org? Which one would be best; jupyterlab or jupyter-server?
Proposed Solution
Additional context
krassowski
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestseeking consensusIssue to discuss a topic seeking consensus among the councilIssue to discuss a topic seeking consensus among the council