Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gc/repack: release packs when needed #95

Closed
wants to merge 1 commit into from

Conversation

dscho
Copy link
Member

@dscho dscho commented Dec 10, 2018

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

On Windows, files cannot be removed nor renamed if there are still
handles held by a process. To remedy that, we introduced the
close_all_packs() function.

Earlier, we made sure that the packs are released just before `git gc`
is spawned, in case that gc wants to remove no-longer needed packs.

But this developer forgot that gc itself also needs to let go of packs,
e.g. when consolidating all packs via the --aggressive option.

Likewise, `git repack -d` wants to delete obsolete packs and therefore
needs to close all pack handles, too.

Signed-off-by: Johannes Schindelin <[email protected]>
@dscho
Copy link
Member Author

dscho commented Dec 15, 2018

/submit

@gitgitgadget
Copy link

gitgitgadget bot commented Dec 15, 2018

Submitted as [email protected]

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This branch is now known as js/gc-repack-close-before-remove.

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This patch series was integrated into pu via git@0e0ea14.

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This patch series was integrated into next via git@9daedfe.

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This patch series was integrated into pu via git@5104f8f.

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This patch series was integrated into next via git@5104f8f.

@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

This patch series was integrated into master via git@5104f8f.

@gitgitgadget gitgitgadget bot added the master label Jan 18, 2019
@gitgitgadget gitgitgadget bot closed this Jan 18, 2019
@gitgitgadget
Copy link

gitgitgadget bot commented Jan 18, 2019

Closed via 5104f8f.

@dscho dscho deleted the release-gc-repack branch January 19, 2019 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant