Skip to main content

Jupyterlab-git

All virtual labs have a Git integration using jupyterlab-git. To clone a repository you can follow the instructions from here: jupyterlab-git. The .gitignore is recommended to at least contain the following:

.ipynb_checkpoints
.env # The `.env` file is used by `SecretsProvider` to store the secrets and should therefore not be pushed to the repository.

Once you have cloned a repository and have write access to this repository, you can push changes to the repository using a fine-grained token. This token can be set to only apply to the repository created for the content of the virtual lab and only needs the following repository permissions:

  • Read access to metadata
  • Read/write access to code