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
212 stars 86 forks source link

Add remote update support #342

Open ctriquet-cs opened 8 months ago

ctriquet-cs commented 8 months ago

Cloning a Git repository for an authenticated server can be achieved with a repository URL of the form "https://login:token@hostname/path.git". When using an token with a limited validated period, the initial cloning with nbgitpuller is successful, but subsequent synchronizations fails. Indeed, the initial token was stored into local repository settings and is no more valid and the new one transmitted by a new call to nbgitpuller is ignored.

That PR proposes to update the repository remote URL before an repository update.

That change is done if required and only URL credentials are updated, hostname and repository path can't be updated.

ctriquet-cs commented 5 months ago

Just re-based that PR on current main.