]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-4.11' into stable-5.0 01/126701/1
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Jul 2018 12:06:14 +0000 (14:06 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Jul 2018 12:06:22 +0000 (14:06 +0200)
commit0db128acd57efef589e973585662da011a8c9e4f
tree74fded2c940490ee3ee6bafba9c22bc11673369b
parent6ba60a31277f129eda7858f5e21d04edba2a9a43
parentfd4a62fdf0a0f7b2273739a207700c10bd50afc4
Merge branch 'stable-4.11' into stable-5.0

* stable-4.11:
  Prepare 4.7.3-SNAPSHOT builds
  JGit v4.7.2.201807261330-r
  Delete all loose refs empty directories
  Use java.nio to delete path to get detailed errors
  GC: Remove empty references folders
  Do not ignore path deletion errors

Change-Id: I780d4a1624fbb97a2acdf5321b9c3244b0626444
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/internal/JGitText.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/RefDirectory.java