Dans un dépôt Git, comment renommer un répertoire?

Je pense que cela devrait fonctionner pour copier le répertoire à renommer pour un nouveau répertoire avec le nom de votre choix, et supprimer l'ancien répertoire, et git add, git commit et push tout. Mais est-ce la meilleure façon de faire?

InformationsquelleAutor qazwsx | 2012-06-25