New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Frontend driven indexing #52

Draft

jtpio wants to merge 1 commit into jupyterlab-contrib:main from jtpio:frontend-driven-indexing

Member

jtpio commented Sep 27, 2024

Towards #50

Still very much a draft for now.

Sketch a frontend drive indexing of files
Keep the server extension the default
Support fetching a .gitignore file?

jtpio added the enhancement label

github-actions bot commented Sep 27, 2024

👈 Launch a Binder on branch jtpio/jupyterlab-quickopen/frontend-driven-indexing


          Frontend driven indexing

e7d854a

jtpio force-pushed the frontend-driven-indexing branch from 09c2f94 to e7d854a Compare

October 12, 2024 00:40

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels