Comment modifier l’adresse d’origine dans git ? Explication détaillée des exemples

Dans le processus d'utilisation de Git pour le développement collaboratif, nous devons souvent modifier l'adresse de l'entrepôt distant. Pour Git, chaque entrepôt distant est l'adresse d'un serveur Git, et cette adresse est appelée origine. Généralement, nous devons modifier l'adresse d'origine pour nous connecter à différents serveurs Git ou à différentes branches. Cet article explique comment modifier l'adresse d'origine de Git.

1. Afficher l'origine actuelle

Dans Git, nous pouvons afficher l'adresse de l'origine actuelle via la commande suivante :

git remote -v

Après avoir exécuté cette commande, la liste d'adresses de l'entrepôt distant Git sera affichée. afficher le nom et l'adresse de chaque entrepôt distant :

origin  https://github.com/username/repo.git (fetch)
origin  https://github.com/username/repo.git (push)

Dans cette liste, origin est le nom de l'entrepôt distant par défaut de Git, et l'adresse suivante est l'URL HTTPS de l'entrepôt. Si vous utilisez SSH pour vous connecter au serveur Git, le résultat sera l'URL SSH.

2. Modifier l'origine

Si nous devons modifier l'adresse d'origine, nous pouvons le faire avec la commande suivante :

git remote set-url origin <new-url>

Parmi eux, <new-url> est le nouveau Git adresse du serveur. Grâce à cette commande, Git modifiera l'adresse d'origine pour se connecter au nouveau référentiel distant. <new-url> 为新的 Git 服务器地址。通过该命令，Git 将会修改 origin 的地址，从而连接到新的远程仓库。

三、示例

为了让大家更好地理解修改 origin 的过程，下面将举一个实际的示例。

假设我们要将当前的远程仓库连接到另外一个 Git 服务器上。首先，我们需要查看当前 origin 的地址：

git remote -v

输出：

origin  https://github.com/username/repo.git (fetch)
origin  https://github.com/username/repo.git (push)

接下来，通过以下命令将远程仓库连接到新的 Git 服务器：

git remote set-url origin https://gitlab.com/username/repo.git

运行该命令后，Git 便会将 origin 的地址修改为 https://gitlab.com/username/repo.git。如果想要确认 origin 是否已经被修改成功，可以重新运行 git remote -v

3. Exemple

Afin de permettre à chacun de mieux comprendre le processus de modification de l'origine, un exemple pratique sera donné ci-dessous.

Supposons que nous souhaitions connecter l'entrepôt distant actuel à un autre serveur Git. Tout d'abord, nous devons vérifier l'adresse de l'origine actuelle : 🎜

origin  https://gitlab.com/username/repo.git (fetch)
origin  https://gitlab.com/username/repo.git (push)

🎜Sortie : 🎜rrreee🎜Ensuite, connectez l'entrepôt distant au nouveau serveur Git via la commande suivante : 🎜rrreee🎜Après avoir exécuté cette commande, Git modifiera l'adresse d'origine est https://gitlab.com/username/repo.git. Si vous souhaitez confirmer si l'origine a été modifiée avec succès, vous pouvez réexécuter la commande git remote -v Le résultat devrait être : 🎜rrreee🎜 IV. Conclusion🎜🎜Modification de l'adresse d'origine de. Git est une opération fréquemment requise, en particulier lorsque plusieurs personnes collaborent au développement. Grâce à la méthode présentée dans cet article, nous pouvons facilement modifier l'adresse d'origine pour nous connecter à différents serveurs Git ou à différentes branches. 🎜

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!