Thank you ! I'll look that up in git's doc.
--
Emmanuel Charpentier
Le mardi 5 avril 2016 09:39:20 UTC+2, Volker Braun a écrit :
>
> Pruning is about unreachable objects (commits not referenced by a branch,
> e.g. because you deleted the branch). It is safe to do unless you
> accidentally
Pruning is about unreachable objects (commits not referenced by a branch,
e.g. because you deleted the branch). It is safe to do unless you
accidentally deleted a branch and want it back ;-)
A better command to clean up temporary files is "git gc" which includes
pruning
On Tuesday, April
