Amélioré Git Repositories

Les dépôts clonés portent le nom du dépôt

Les nouvelles adresses de clonage créent maintenant un dossier local au nom du dépôt.

Les adresses de clonage HTTPS se terminent maintenant par le nom du dépôt, si bien que Git crée un dossier local comme harness-files au lieu de l’UUID interne du dépôt. Les anciennes adresses de clonage avec seulement l’UUID continuent de fonctionner.