enhancementhelp wanted
Métriques du dépôt
- Stars
- (81 étoiles)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
Actually Paket clones a package repository on every new paket add that's because Paket doesn't preserve clone directories after a remove.
It would be great if we can just avoid re-clone a package repo for a same version already cloned.