J'ai réussi à trouver un moyen dans l'application Web GitHub de renommer Un seul fichier et je l'ai fait avec succès.
J'ai également pu trouver un moyen de renommer tout un référentiel et je l'ai fait avec succès.
Est-ce que quelqu'un sait comment faire cela dans un seul répertoire sans utiliser ligne de commande ? Pour référence, j'essaye de changer un répertoire nommé InterviewTesting (qui contient des fichiers src, etc.) en quelque chose d'autre. J'ai essayé de le faire en mode fichier unique .
mais cela ne m'a pas permis de changer le nom du répertoire (InterviewTesting), seulement le nom du fichier réel.
En fait, il existe un moyen de renommer un dossier à l'aide de l'interface Web.
Voir https://github.com/blog/1436-moving-and-renaming-files-on-github
Il n’existe aucun moyen de le faire dans l’application Web GitHub. Je crois que la seule façon de faire cela est en ligne de commande en utilisant git mv <old name> <new name>
ou en utilisant un client Git (comme SourceTree ).
Vous pouvez! Il vous suffit d'appuyer sur edit conformément au message d'origine de @ commitandroider, puis d'appuyer sur la touche de retour arrière avec votre curseur au début du nom du fichier. Il vous permettra ensuite d'éditer le dossier. Une fois terminé, appuyez sur la barre oblique pour éditer à nouveau le nom du fichier.
J'ai eu un problème avec github manque quelques modifications sensibles à la casse dans les dossiers. Je devais conserver l'historique de la migration, ce qui est un exemple de la façon dont j'ai changé le dossier "basicApp" dans github en "basicapp"
$ git ls-files
$ git mv basicApp basicapp_temp
$ git add .
$ git commit -am "temporary change"
$ git Push Origin master
$ git mv basicapp_temp basicapp
$ git add .
$ git commit -am "change to desired name"
$ git Push Origin master
PS: git ls-files
va vous montrer comment github voit votre nom de dossier
Allez dans votre répertoire et cliquez sur "Paramètres" à côté du petit rouage. Il existe un champ pour renommer votre répertoire.
En tant que nouvel utilisateur de git, j'ai adopté l'approche suivante. À partir de la ligne de commande, j'ai pu renommer un dossier en créant un nouveau dossier, en y copiant les fichiers, en ajoutant et en validant localement, puis en poussant. Ce sont mes étapes:
$mkdir newfolder
$cp oldfolder/* newfolder
$git add newfolder
$git commit -m 'start rename'
$git Push #New Folder appears on Github
$git rm -r oldfolder
$git commit -m 'rename complete'
$git Push #Old Folder disappears on Github
Probablement un meilleur moyen, mais cela a fonctionné pour moi.