Re: git gc & deleted branches

On Thu, May 08, 2008 at 10:52:19PM +0200, Guido Ostkamp wrote:

quoted

And be assured that the objects referenced by a deleted branch will be  
removed from the repository eventually as long as 'git gc --prune' is  
run periodically.

Ok. I did not know about the 'prune' option yet as it neither mentioned in 
the "Git Tutorial" nor "Everyday Git", there only 'git gc' is used with no 
options.

It is deprecated; see 25ee9731.

According to that commit message, prune is now a no-op. However, it
looks like it is still used for trigger a "repack -a" rather than
"repack -A". I don't know if it is worth making that behavior available
through some more sane command line option (I would think people who
really know that they want "repack -a" would just call it).

-Peff