search

jupyterhub / nbgitpuller

Jupyter server extension to sync a git repository one-way to a local path
https://nbgitpuller.readthedocs.io
BSD 3-Clause "New" or "Revised" License
205 stars 84 forks source link

Add a "Proceed to destination" button when pulling fails #278

Open yuvipanda opened 1 year ago

yuvipanda commented 1 year ago

Proposed change

Sometimes, pulling fails (like in #277) but we still want the user to proceed to the target URL. We should add a button that shows up and allows you to go past nbgitpuller and to the target URL, and have this button only show up when pulling fails.

Alternative options

Currently users have to manually edit the URL to go to their target, which is very unideal.

ericvd-ucb commented 1 year ago

At least there could be a general button that goes to https://datahub.berkeley.edu/hub/user-redirect/tree