Patch Set 1:

I just replied on that bug, I think the issue is EGit isn't closing the repository when it should, which means the PackFile is still open within JGit's caches.

If EGit wants to delete the repository, it really needs to ensure the packs have been closed first.