Qu'est-ce qu'un dépôt distant ?

Jusqu'à présent, chaque commande Git s'est exécutée dans un seul dossier sur votre machine. Un remote est une copie du même dépôt hébergée ailleurs : une autre machine, un serveur ou un service comme GitHub ou GitLab.

Les remotes sont le moyen par lequel les équipes collaborent. Chaque développeur travaille dans son propre clone local, puis échange des commits avec le remote partagé.

Par convention, le dépôt distant principal est nommé origin. C'est simplement une étiquette ; vous pouvez le renommer ou avoir plusieurs dépôts distants côte à côte.

L'environnement d'exécution de ce cours ne se connecte pas au réseau, vous n'effectuerez donc pas réellement de push ou de pull. Mais vous utiliserez les mêmes commandes git remote que tout développeur utilise, sur un dépôt local, pour en apprendre les rouages.