GitHub repository: pgierz/nbgitpuller
Description: Jupyter ServerExtension to sync a git repository one-way to a local path