pull-requests
pull-requests copied to clipboard
A JupyterLab extension for reviewing GitHub pull requests
### Problem Currently, [GitHubManager][] uses [Contents API][] to obtain file diffs from GitHub. Since this API only supports files up to 1 MB, the following error was displayed when I...
- in the PR summary, - the chat messages could be a lot more condensed and probably don't need any border at all, nor are extra layout colors needed... -...
[](https://mybinder.org/v2/gh/bollwyvl/pull-requests/gh-35-add-binder?urlpath=lab) - [x] add a basic "development" binder (we can later add a "pinned" one long-lived branch?) - [x] `environment.yml`: normal stuff, also `jupyterlab-tour` and `nbgitpuller` - [x] `postBuild`: pretty...
Having a binder that does... anything... would be really useful. Once #29 is good to go, I'll be happy to do the work to add a read-only `AnonGitHubManager` which would...
GitLab is listing _system_ note (label changes, new commits,...) when requesting the comments on a pull request: https://docs.gitlab.com/ee/api/discussions.html#list-project-merge-request-discussion-items It would be good to display them as read-only information as GitHub...
As the current state of #18 unit testing is rather minimal, we should likely consider investing more effort in establishing a reasonable, locally-replicable integration testing approach. ## Options - [galata](https://github.com/jupyterlab/galata)...
Should we build on top of a common set of discussion components with https://github.com/jupyterlab/jupyterlab-commenting?
Or better https://github.com/jupyterlab/pull-requests/pull/16#issuecomment-791428410 - Describe Python object with Pydantic - Generate json-schema from it - Generate TS from schema
- the file diff - the big popout boxes look good in the file view - i feel like the extra-thick blue lines coming out of the plus could be...