Ajout de dépôts externes dans Git

Maintenant, nous devons ajouter un dépôt externe à notre projet. L'essence de l'ajout revient au fait que nous devons trouver un nom pour le dépôt externe et lier ce nom à l'URL du dépôt.

Dans le système Git, pour cet objectif, il existe la commande remote add, après laquelle sont énumérés, séparés par un espace, le nom du dépôt et son URL. Le nom du dépôt, nous le choisissons nous-mêmes. Ce sera le nom sous lequel le dépôt sera référencé sur notre ordinateur.

Supposons que pour notre dépôt externe nous choisissons le nom courant : origin. Ajoutons le dépôt sous ce nom :

Suite à cet ajout, vous disposerez du nom origin, que vous utiliserez pour vous référer à ce dépôt externe. Le téléchargement des données du dépôt, cependant, n'aura pas encore lieu. Pour cela, il existe d'autres commandes que nous étudierons dans les prochaines leçons.