[0/1] gc/repack: release packs when needed

Message ID	pull.95.git.gitgitgadget@gmail.com (mailing list archive)
Headers	show Return-Path: <git-owner@kernel.org> Date: Sat, 15 Dec 2018 14:04:00 -0800 (PST) Message-Id: <pull.95.git.gitgitgadget@gmail.com> From: "Johannes Schindelin via GitGitGadget" <gitgitgadget@gmail.com> Subject: [PATCH 0/1] gc/repack: release packs when needed Fcc: Sent Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit MIME-Version: 1.0 To: git@vger.kernel.org Cc: Junio C Hamano <gitster@pobox.com> Sender: git-owner@vger.kernel.org Precedence: bulk
Series	gc/repack: release packs when needed \| expand [0/1] gc/repack: release packs when needed [1/1] gc/repack: release packs when needed

Message ID

pull.95.git.gitgitgadget@gmail.com (mailing list archive)

Headers

Date: Sat, 15 Dec 2018 14:04:00 -0800 (PST)
Message-Id: <pull.95.git.gitgitgadget@gmail.com>
From: "Johannes Schindelin via GitGitGadget" <gitgitgadget@gmail.com>
Subject: [PATCH 0/1] gc/repack: release packs when needed
Fcc: Sent
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
To: git@vger.kernel.org
Cc: Junio C Hamano <gitster@pobox.com>
Sender: git-owner@vger.kernel.org
Precedence: bulk

Series

gc/repack: release packs when needed | expand

Message

Phillip Wood via GitGitGadget Dec. 15, 2018, 10:04 p.m. UTC

This fixes more "can't delete files while they are still open" issues on
Windows.

Johannes Schindelin (1):
  gc/repack: release packs when needed

 builtin/gc.c     | 4 +++-
 builtin/repack.c | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)


base-commit: 5d826e972970a784bd7a7bdf587512510097b8c7
Published-As: https://github.com/gitgitgadget/git/releases/tags/pr-95%2Fdscho%2Frelease-gc-repack-v1
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-95/dscho/release-gc-repack-v1
Pull-Request: https://github.com/gitgitgadget/git/pull/95