GitHub repository: scantist-ossops-m2/nbgitpuller
Description: Jupyter server extension to sync a git repository one-way to a local path