Our JupyterLab provides an intuitive interface for managing Git repositories directly from within the platform. To use this extension, click on the Git icon on the left. There you can manage your own repositories as well as clone new ones.
Alternatively, you can manage your repositories by using the terminal and running following commands:
-
Clone a Git repository:
git clone <repository-url> [<directory>] -
Pull changes from remote repository:
git pull origin <branch-name> -
Add your changes to staging:
git add <file-name> -
Commit changes:
git commit -m "<comment>" -
Push the changes to the remote repository:
git push origin <branch-name>