git

To share this page click on the buttons below;

GIT remote

A local GIT repository always contain all the information (is a complete repository with all histories and commit). To enable cooperation with other developers a GIT repository can be connected with remote repositories.

Connected repositories

To know what are the repositories connected

git remote

The repository origin is the repository from whom the local repository has been cloned. The option -v shows the url of the origin repository.

Add a remote

To add a remote repository

git remote add <short_name> <url>

To update the repo status

To update the local repository with the status of an other remote repository:

git fetch <short_name>

fetch command does not perform merge.

To share this page click on the buttons below;