jupyterlab / jupyterlab/pull-requests

Side panel

Open
#20 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Python
Stars
38
Forks
16
PR merge metrics
No merged PRs in 30d

Description

The side panel needs to be improved:
- Custom queries
- Request PRs for the git remote of the currently selected directory
- => Don't download everything
- => Allow multiple providers in the same session
- Quid of the files view

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.