GitHub repository: ucbds-infra/nbgitpuller
Primary language: Python
Description: Jupyter server extension to sync a git repository one-way to a local path