Deux corrections

• si on ne peut pas lire les logs d’un dépot, indiquer quel répertoire c’est
• si un plugin-dist change d’url (typiquement actuellement le renommage des dépots des plugins-dist avec leur vrai prefixe), checkout crée une erreur tel que : 

/!\ ./plugins-dist/filtres_images n'est pas sur le bon repository GIT
- Actuel : git@git.spip.net:spip/filtres_images.git
- Attendu : git@git.spip.net:spip/images.git
Supprimez le repertoire ./plugins-dist/filtres_images ou choisissez une autre destination

Une option de checkout --forcerm permet de gérer théoriquement ces cas en disant… d’écraser le répertoire et de le recréer avec le bon dépot… Cependant dans le cas de la commande checkout spip --forcerm -b4.3 . ça ne fonctionnait pas : il y a différents tests pour éviter de faire un rm de n’importe quoi lorsqu’il y a des . dans le chemin à supprimer.

On corrige en tolérant la présence de ce . dans ./quelquechose (ici ./plugins-dist/filtres_images).