]> source.dussan.org Git - jgit.git/commit
Allow to get repo statistics from GarbageCollectionCommand before gc 96/11296/6
authorEdwin Kempin <edwin.kempin@sap.com>
Tue, 19 Mar 2013 06:28:36 +0000 (07:28 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 19 Mar 2013 23:46:27 +0000 (00:46 +0100)
commitb37b1c91651f3d78f3ae72fc5450d327c46906d8
tree726724752b99769e7dc4cd826a4fc97cc83114b2
parent509c0b58ee6e38277c360df49d3d6400a3018748
Allow to get repo statistics from GarbageCollectionCommand before gc

When running the garbage collection for a repository it is often
interesting to compare the repository statistics from before and after
the garbage collection to understand the effect of the garbage
collection. This is why it makes sense that the
GarbageCollectionCommand provides a method to retrieve the repository
statistics before running the garbage collection.

So far without running the garbage collection the repository statistics
can only be retrieved by using JGit internal classes. This is what EGit
and Gerrit do at the moment, but it would be better to have an API for
this.

Change-Id: Id7e579157e9fbef5cfd1fc9f97ada45f0ca8c379
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/api/GarbageCollectCommand.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java