jupyterlab / jupyterlab/pull-requests
Integrate with jupyterlab-github
Open
enhancement
- Dominant language
- Python
- Stars
- 38
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
I think there are some opportunities here to integrate this with `@jupyterlab/github` and have a more unified experience for users. I haven't really thought it all through, but some ideas could involve:
1. Opening the branch-in-question in the GitHub filebrowser for looking at the un-diffed files.
1. Unified handling of API tokens on the server side.
1. Launch `@jupyterlab/pull-requests` from the GitHub filebrowser.
Contributor guide
Assessment
This issue has not been assessed yet.