Jupyter server extension to sync a git repository one-way to a local path - View it on GitHub