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