Re: [jgit-dev] JGit and GC: why loose refs directories are left behind?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [jgit-dev] JGit and GC: why loose refs directories are left behind?

From: Jonathan Nieder <jrn@xxxxxxxxxx>
Date: Fri, 6 Jul 2018 15:52:00 -0700
Delivered-to: jgit-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/jgit-dev>
List-help: <mailto:jgit-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/jgit-dev>, <mailto:jgit-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/jgit-dev>, <mailto:jgit-dev-request@eclipse.org?subject=unsubscribe>

Hi,

Luca Milanesio wrote:

What I've noticed is that JGit does not remove the directories of the loose refs.

Example:
refs/changes/12/162392/01 gets packed in packed-refs *BUT* leave behind the refs/changes/12/162392 directory.

[...]

Does anybody know why JGit is behaving in that way?

No particularly good reason. :) A bug report (using the "File a Bug" link at http://www.eclipse.org/jgit/support/), or even better, a fix, would be welcome.

Thanks,

Jonathan

Follow-Ups:
- Re: [jgit-dev] JGit and GC: why loose refs directories are left behind?
  - From: Luca Milanesio

References:
- [jgit-dev] JGit and GC: why loose refs directories are left behind?
  - From: Luca Milanesio

Prev by Date: [jgit-dev] JGit and GC: why loose refs directories are left behind?
Next by Date: Re: [jgit-dev] JGit and GC: why loose refs directories are left behind?
Previous by thread: [jgit-dev] JGit and GC: why loose refs directories are left behind?
Next by thread: Re: [jgit-dev] JGit and GC: why loose refs directories are left behind?
Index(es):
- Date
- Thread

Breadcrumbs