Links

Git and GitHub

You can configure Git through environment variables. This way, you don't need to enter these details every time you want to push to or pull from a Git repository. Before setting up this specific integration, make sure you understand how to set up and connect integrations to your workspace as explained here.
The following environment variables are required to connect to a Git repository. You can choose the name of the integration freely.
  • GIT_AUTHOR_EMAIL
  • GIT_AUTHOR_NAME
  • GIT_COMMITTER_EMAIL
  • GIT_COMMITTER_NAME
  • GIT_USERNAME
  • GIT_PASSWORD (see below for instructions for GitHub)
The required environment variables to connect to GitHub, the integration name can be chosen freely
After setting up your environment variables integration and connecting it to your workspace, you can open a terminal in JupyterLab and run the following command:
$ git clone <repository_url>
This command will clone your git repository in a new folder using the name of the repository as the name of the folder. In order to clone into the top level directory of your workspace, the directory your terminal opens up in, you can append . to the command. This will only work if the current directory is empty.
$ git clone <repository_url> .

GitHub

In order to connect to GitHub, the GIT_PASSWORD environment variable should be a Personal Access Token (PAT). See the GitHub documentation to create a PAT with the right permissions.
After configuring and connecting the integration, you can now open up a terminal in JupyterLab and clone a private repository for example. Make sure to use the web URL of the GitHub repository, starting with https://:
$ git clone https://github.com/<user>/<private-repo>.git