From: Matthias Sohn Date: Fri, 27 Jul 2018 12:16:42 +0000 (+0200) Subject: Merge branch 'stable-5.0' X-Git-Tag: v5.1.0.201808281540-m3~47 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=435975e7a937aaba7917115694a1e6bab2c2d840;p=jgit.git Merge branch 'stable-5.0' * stable-5.0: 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: I9717444c42ea89195dfcde8bb10121b9bb178e87 Signed-off-by: Matthias Sohn --- 435975e7a937aaba7917115694a1e6bab2c2d840