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 deleted a branch and want it back ;-) > > A better command to clean up temporary files is "git gc" which includes > pruning > > > > > On Tuesday, April 5, 2016 at 9:24:52 AM UTC+2, Emmanuel Charpentier wrote: >> >> Pushing to Trac#20190 <http://trac.sagemath.org/ticket/20190> , I got : >> >> charpent@asus16-ec:/usr/local/sage-exp$ git trac push >> Pushing to Trac #20190... >> Guessed remote branch: u/charpent/upgrade_r_to_3_2_4 >> >> remote: Trac #20190: Commit changed to feb037. >> Auto packing the repository for optimum performance. >> warning: There are too many unreachable loose objects; run 'git prune' to >> remove them. >> To g...@trac.sagemath.org:sage.git >> 385c51d..feb037a HEAD -> u/charpent/upgrade_r_to_3_2_4 >> >> 1) What does that mean ? >> >> 2) Is "pruning" compatible with Sage's *modus operandi* ? >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
