Closed yuvipanda closed 2 years ago
@manics this is an alternative to #240. We need to do #240 as well regardless, but I don't understand the implications enough.
/cc @Zsailer who helped point this out.
@betolink you might be interested in this too.
I think #240 is also needed, but @Zsailer told me more is needed to turn it into a proper jupyter-server application. I don't know enough about what more needs to be done there though.
Can someone here make it to one our Jupyter Server Contributor Hours? :smiley:
It would be really fun to try and port this extension in real-time. Then, we can process record, document, and share this in the server docs. I'm happy to lead the development and we can pair program as a team during the call.
Just to be clear @Zsailer - you're talking about the resolution of this issue, right?
Agree that would be great :-) but I'm still +1 on merging this PR in the meantime!
Ah, yes—I was referring to #240. Sorry for the confusion! :smiley:
Thanks a lot, @manics! Do you think we can do a release?
I think so, if we don't need anything from https://github.com/jupyterhub/nbgitpuller/pull/240
Fixes https://github.com/jupyterhub/nbgitpuller/issues/235