Comment supprimer le référentiel distant Git

Dans cet article, nous allons continuer la série de procédures Linux et vous guider sur la façon de supprimer un référentiel distant Git. Nous couvrirons la différence entre les référentiels locaux et distants et deux flux de travail possibles pour le référentiel distant Git. Jetez un œil à nos infographies pour tout savoir en moins d'une minute !

Qu'est-ce que Git

Git est un système de contrôle de version distribué gratuit et open-source. Linus Torvalds l'a conçu en 2005, et maintenant Git est l'un des systèmes de contrôle de version de code les plus populaires au monde. Git vous aide à conserver l'historique des modifications que vous avez apportées au cours de votre processus de développement logiciel.

Local Référentiel Git

Git est un système de contrôle de version distribué décentralisé. Cela signifie que vous pouvez stocker vos modifications de code logiciel sur votre PC local ou votre serveur distant. Modifications logicielles que vous conservez localement formant le référentiel local.

Pour créer (ou initier) un dépôt local, vous utilisez la commande suivante :

$ git init

Pour ajouter et valider vos modifications dans votre référentiel Git local, utilisez :

$ git add

$ git commit

Dépôt Git distant

Pour simplifier un processus de développement logiciel pour les équipes distribuées, les gens ont commencé à utiliser un serveur dédié comme lieu central pour l'échange de code. Le référentiel Git sur un tel serveur est appelé un référentiel distant. Aujourd'hui, nous avons plusieurs services d'hébergement Git, tels que Bitbucket, Github ou GitLab.

Voici le flux de travail le plus simple avec un référentiel distant :

Nous pouvons ajouter des informations sur le référentiel Git distant à notre référentiel local à l'aide de la commande suivante :

$ git remote add origin git-remote-url

Où :

• origine – est le nom logique ou le référentiel distant ; l'origine est le nom par défaut du référentiel distant.
• git-remote-url – est l'URL du référentiel distant; généralement, vous l'obtenez sur la page de votre référentiel sur GitHub.

Le clonage d'un dépôt Git à partir d'un serveur distant crée l'origine automatiquement dans votre référentiel local.

Pour le cas d'une équipe distribuée utilisant le même référentiel distant, voici un autre schéma :

Dans le monde open-source, le workflow d'équipe est un peu différent. Une équipe distribuée ne pousse pas les modifications de code directement vers un référentiel unique, mais envoie des demandes d'extraction. L'utilisation de pull-requests au lieu de s'engager directement dans un référentiel unique est un moyen plus efficace de contrôler les modifications qui y sont apportées.

Pour ne pas trop compliquer le diagramme, nous ne montrerons qu'un seul workflow de développeur, travaillant avec son origine distante. et envoyer des demandes d'extraction à en amont référentiel.

Supprimer une URL distante Git

Avant de supprimer des enregistrements de dépôts Git distants, il est logique de les lister d'abord :

$ git remote -v

Pour supprimer l'un des référentiels distants répertoriés, utilisez la commande suivante :

$ git remote rm origin

Cette commande supprimera une origine depuis la liste distante :

Le git remote rm la commande supprime la télécommande spécifique du .git/config fichier situé dans votre dossier de projet.

Une autre façon de supprimer le référentiel distant consiste à modifier le .git/config fichier, mais cette méthode n'est pas la plus utilisée.

Si vous essayez de supprimer un référentiel distant qui n'existe pas, Git génère une erreur.

$ git remote rm origin

Le résultat est fatal: No such remote: 'origin' :

Généralement, l'erreur ci-dessus peut également être causée par une erreur de frappe dans le nom du référentiel distant.

Le git remote rm la commande a un alias git remote remove , qui fonctionne de la même manière :

$ git remote remove git-repository-logical-name

Résumé

Dans cet article, vous avez appris à supprimer des informations sur le référentiel Git distant de notre référentiel local.

Si vous avez des questions, n'hésitez pas à nous contacter dans la section des commentaires ci-dessous.