Je me demandais s'il existe une bonne solution "git export" qui crée une copie d'une arborescence sans le .gitrépertoire du référentiel. Il y a au moins trois méthodes que je connais: git clonesuivi de la suppression du .gitrépertoire du référentiel. git checkout-index fait allusion à cette...