Permissions de fichiers Git sous Windows
J’ai trouvé la solution pour changer les permissions (aussi) sous Windows ici : http://blog.lesc.se/2011/11/how-to-change-file-premissions-in-git.html
Par exemple, la commande suivante ajoute la permission d’exécution utilisateur à un fichier arbitraire :
git update-index --chmod=+x <file>