pull-requests icon indicating copy to clipboard operation
pull-requests copied to clipboard

Published 20 hours ago • verified publisher icon jupyterlab

Integrate with jupyterlab-github

Open ian-r-rose opened this issue 6 years ago • 1 comments

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.
  2. Unified handling of API tokens on the server side.
  3. Launch @jupyterlab/pull-requests from the GitHub filebrowser.

ian-r-rose avatar Aug 02 '19 17:08 ian-r-rose

Thanks @ian-r-rose . I agree with all of these.

Launch @jupyterlab/pull-requests from the GitHub filebrowser.

I've been thinking of how to do this for other extensions as well. What's the recommended way for an extension to trigger the some functionality in another extension?

jaipreet-s avatar Aug 02 '19 18:08 jaipreet-s