Re: [jgit-dev] JGIT left files open after git.close [Windows 10]

[Thomas Wolf <thomas.wolf@xxxxxxxxxx>]

On 28.01.21 15:58 , Andreas Mueller wrote:
> Then I want to delete the parent directory of the .git repository 
> directory but it fails because JGit still holds a lock on a single file:
>
> .git/objects/pack/pack-<someid>.pack
>
> How can I force JGit to release this lock? I was assuming that close 
> means really close and not holding any locks.
>
> This is only a problem on Windows 10 because of their quite restrictive 
> file lock handling. No problem on Unixes.

Which JGit version? Try 5.10.0; it might be bug
https://bugs.eclipse.org/bugs/show_bug.cgi?id=408846
(read-only files cannot be deleted on Windows, was fixed in 5.8.0).

Cheers,

  Thomas