Gestion de plusieurs dépôts par un script Changements utilitaires pour le wall
Modification pour vérifier si c'est bien un dépôt git (Pour les bare, qui n'ont donc pas de .git)
