Merge branch 'js/gc-repack-close-before-remove'
authorJunio C Hamano <gitster@pobox.com>
Fri, 18 Jan 2019 21:49:57 +0000 (13:49 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Jan 2019 21:49:57 +0000 (13:49 -0800)
commit5104f8f1acaecbe252cd0c561582052c12278b62
tree8a30c9955bd2dcd3782e27f0ca551878b4624638
parenteab7584e3785d4a210ba326bcb02294285f57a22
parent5bdece0d70578edda870b0cf04d598ba04e7a0a3
Merge branch 'js/gc-repack-close-before-remove'

"git gc" and "git repack" did not close the open packfiles that
they found unneeded before removing them, which didn't work on a
platform incapable of removing an open file.  This has been
corrected.

* js/gc-repack-close-before-remove:
  gc/repack: release packs when needed
builtin/gc.c
builtin/repack.c