search

jupyter-server / jupyter_ydoc

Jupyter document structures for collaborative editing using Yjs/pycrdt
https://jupyter-ydoc.readthedocs.io
BSD 3-Clause "New" or "Revised" License
27 stars 17 forks source link

Fix ignore_links #155

Closed fcollonval closed 1 year ago

fcollonval commented 1 year ago

Actually check links moved to another repo in https://github.com/jupyterlab/maintainer-tools/pull/124