Skip to content

Move pycrdt to jupyter-server #55

@davidbrochart

Description

@davidbrochart

Context

I have been working a new Python bindings for Yrs, the Rust port of Yjs. In the Jupyter stack, we currently use Ypy. See this issue for the motivations behind pycrdt.
I already opened the following PRs that update our stack to pycrdt:

I already merged a PR to update Jupyverse to pycrdt:

But I didn't open the equivalent PR in jupyter-collaboration, mainly because there are pending PRs that may change the code quite a bit, and that would result in a lot of conflicts.
If we decide to use pycrdt instead of Ypy, we should move it to either the y-crdt organization or the jupyter-server organization. I would prefer the latter for now (it could go back to y-crdt in the future). That means the new version of ypy-websocket that uses pycrdt should also move to jupyter-server.
Are there any objections about moving pycrdt to jupyter-server, along with ypy-websocket?


Proposal

Let's move pycrdt to jupyter-server


Votes

This vote was initiated on 16 November 2023.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestvoteVoted on by the Jupyter Server Council

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions