J’ai fait face à ce petit problème agaçant développant sous Windows avec GIT pour Windows et pushant mes modifications sur un serveur de staging sous CentOS : dans un projet Zend après avoir renommé un répertoire, en l’occurence feubapp en Feubapp – sous Windows donc – celui-ci était toujours vu comme feubapp pour GIT, cela semble un peu tordu, mais en gros GIT avait toujours l’ancienne version feubapp dans sa base même si un ls me montrait que le répertoire était renommé Feubapp. Ceci du à l’insensibilité de la casse sous Windows.
Après un push, je me retrouvais avec deux répertoires feubapp et Feubapp sur mon serveur GNU/Linux.
La solution consiste à renommer ces répertoires depuis GIT en 2 temps :
git mv feubapp Feubapp2 git mv Feubapp2 Feubapp
Le tour est joué, un git status montre bien que des répertoires ont été renommés. A noter que directement faire ce qui suit ne fonctionne bien entendu pas :
git mv feubapp Feubapp
Merci au post de msysgit.