On Thu, Aug 27, 2020 at 01:19:54PM -0400, Jeff King wrote: > I think that git-gc will clean them up (via git-prune). It will also > check that their mtimes are older than the expiration time, which avoids > accidentally cleaning up the pack for an incoming fetch or push. > > The default gc expiration time is 2 weeks, though, so you might want > something like: > > git gc --prune=5.minutes.ago > > if you're trying to get rid of them immediately. Likewise use git-prune > directly if you don't want to incur the cost of a full gc/repack. Oh, you're totally right. For some reason I was convinced that git-prune didn't touch them, but I stand corrected. Thanks for the pointer! -K