Comment renommer un dépôt sur GitHub ?

Question

J'ai voulu renommer l'un de mes dépôts sur GitHub, mais j'ai eu peur quand un gros avertissement rouge a dit :

1. Nous ne mettrons pas en place de redirections à partir de l'ancien emplacement.
2. Vous devrez mettre à jour vos dépôts locaux pour qu'ils pointent vers le nouvel emplacement.
3. Le renommage peut prendre quelques minutes

Quelqu'un a-t-il des instructions étape par étape sur la façon d'accomplir les étapes 1 et 2 manuellement ? Ou que dois-je faire localement ?

Answer 1

Si vous êtes la seule personne à travailler sur le projet, ce n'est pas un gros problème, car vous n'avez que le numéro 2 à faire.

Disons que votre nom d'utilisateur est someuser et votre projet s'appelle someproject .

Alors l'URL de votre projet sera 1

git@github.com:someuser/someproject.git

Si vous renommez votre projet, cela changera le nom de l'utilisateur. someproject de l'URL, par exemple

git@github.com:someuser/newprojectname.git

(voir la note de bas de page si votre URL ne ressemble pas à ceci).

Votre copie de travail de Git utilise cette URL quand vous faites un push ou pull .

Ainsi, après avoir renommé votre projet, vous devrez indiquer la nouvelle URL à votre copie de travail.

Vous pouvez le faire en deux étapes :

Tout d'abord, cd dans votre répertoire Git local, et découvrez quel(s) nom(s) distant(s) renvoie(nt) à cette URL :

$ git remote -v
origin  git@github.com:someuser/someproject.git

Ensuite, définissez la nouvelle URL

$ git remote set-url origin git@github.com:someuser/newprojectname.git

Ou dans les anciennes versions de Git, vous pourriez avoir besoin :

$ git remote rm origin
$ git remote add origin git@github.com:someuser/newprojectname.git

( origin est le nom distant le plus courant, mais il peut s'appeler autrement).

Mais si de nombreuses personnes travaillent sur votre projet, elles devront toutes suivre les étapes ci-dessus, et peut-être ne savez-vous même pas comment les contacter toutes pour leur dire. C'est le but du numéro 1.

Pour en savoir plus :

• GitHub - travailler avec des remotes
• Référence Git - remotes
• Git Book - Flux de travail distribués

Notes de bas de page :

1 Le format exact de votre URL dépend du protocole que vous utilisez, par ex.

• SSH = git@github.com:someuser/someproject.git
• HTTPS = https://someuser@github.com/someuser/someproject.git
• GIT = git://github.com/someuser/someproject.git

Answer 2

Notez que depuis mai 2013 (" Les redirections de dépôts sont là ! "), vous pouvez renommer votre repo GitHub sans rompre aucun lien :

Nous sommes heureux d'annoncer qu'à partir d'aujourd'hui, nous redirigerons automatiquement toutes les demandes concernant les anciens dépôts vers leur nouvel emplacement dans ces circonstances. Il n'y a rien de spécial à faire. Il suffit de renommer le dépôt et nous nous occupons du reste.

En guise de bonus spécial, nous répondrons également à toutes les demandes de clonage, de récupération et de poussée de Git provenant des dépôts précédents .

Cela signifie que vous n'avez même pas à git remote set-url (changez l'url de votre repo GitHub distant) sur votre repo local cloné !
Bien que Gabriel notes dans les commentaires que le page d'aide officielle de GitHub vous recommande vivement de le faire :

Pour réduire la confusion, nous recommandons fortement de mettre à jour tous les clones locaux existants pour qu'ils pointent vers la nouvelle URL du référentiel. Vous pouvez le faire en utilisant git remote sur la ligne de commande :

git remote set-url origin new_url

Attention toutefois :

Pages GitHub ne sont pas automatiquement redirigés lorsque leurs référentiels sont renommés pour le moment.
Renommer un Dépôt de pages continuera à briser tous les liens existants vers le contenu hébergé sur le site de la Commission européenne. github.io ou des domaines personnalisés.

Plus, l'utilisateur possède toujours l'espace de nom : s'il/elle crée un nouveau en utilisant l'ancien nom du repo renommé, cette redirection (pour ledit repo renommé) cessera de fonctionner.

Answer 3

Je renomme les miens en les appelant simplement :

1. en allant sur github.com sur mon référentiel
2. Ouvrir l'onglet Paramètres
3. Le premier paramètre que vous pouvez voir est le "Nom du référentiel".
4. Changez le nom actuel et mettez le nouveau nom que vous voulez donner à votre dépôt
5. Cliquez sur le bouton "Renommer".

---

Après cette étape, GitHub s'assurera que votre dépôt en ligne correspond au nom de votre dossier local. À cette étape, votre problème est résolu, à moins que vous ne souhaitiez également renommer votre dossier local. Dans ce cas, faites-le manuellement et utilisez simplement le client Github pour Windows pour retrouver votre dépôt sur votre disque dur, et GitHub le fera correspondre à nouveau. C'est tout ! C'est très simple.

Answer 4

Cette réponse est désormais obsolète ! GitHub transfère désormais vers de nouveaux emplacements. Voir cette réponse pour les détails.

---

La raison pour laquelle cet avertissement est présent est que le numéro 1 ne peut pas être fait manuellement.

Si vous êtes la seule personne à travailler sur le dépôt et à établir des liens avec celui-ci, vous pouvez modifier la télécommande dans votre dépôt local et dans vos pages Web.

Cependant, la raison d'avoir un dépôt public sur github en premier lieu est que vous pouvez avoir d'autres personnes clonant votre dépôt et faisant un lien vers votre page de projet github.

---

L'ancienne url github.com/<username>/<repository> est la propriété de Github. S'ils ne mettent pas en place de redirections vers la nouvelle url, personne ne peut le faire. Donc les choses vont se briser pour tout le monde sauf pour les personnes à qui vous le dites.

L'ampleur du problème dépend de vous. Si vous avez une page officielle du projet sur un serveur différent, alors l'url de github pourrait ne pas être un gros problème. Si vous avez annoncé votre projet avec l'url github dans les listes de diffusion et les répertoires, alors vous ne devriez probablement pas changer le nom du repo.

---

Une alternative au changement de nom du dépôt est de créer un nouveau dépôt et de laisser des notes dans l'ancien dépôt (également sous forme de commits dans le dépôt) sur la façon d'atteindre votre nouveau dépôt.

Si vous ne voulez pas que votre nouveau dépôt soit listé comme un fork de votre ancien dépôt, vous devez créer un nouveau compte github. Vous pouvez ajouter votre autre compte comme collaborateur pour les deux dépôts.

Answer 5

Il est intéressant de noter que si vous bifurquez un projet GitHub et renommez ensuite la copie nouvellement créée, le nouveau nom apparaît dans le graphe du réseau de membres du projet parent. La relation complémentaire est également préservée. Cela devrait permettre de lever toutes les réserves associées au premier point de la question initiale concernant les redirections, c'est-à-dire que vous pouvez toujours vous rendre ici à partir de là, pour ainsi dire. J'ai moi aussi hésité en raison de l'irrévocabilité impliquée par l'avertissement, et j'espère que cela évitera à d'autres d'attendre.