tree 77fbaa69cf9d6cb20ab14dcfbad4be4a414c16b4
parent c296342333ab43596452ea040fb608f613a3e4b8
parent 29118ed117097c63bbd769ec8c6eedf0bd2f7e26
author David Pursehouse <david.pursehouse@gmail.com> 1532676171 +0100
committer David Pursehouse <david.pursehouse@gmail.com> 1532676171 +0100

Merge branch 'stable-4.7' into stable-4.8

* stable-4.7:
  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: Iadc8275fbaa3d6f7d08a96ab66d49f392f6aab78
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>