From: Matthias Sohn <matthias.sohn@sap.com>
Date: Sat, 5 Jun 2021 20:49:07 +0000 (+0200)
Subject: Merge branch 'stable-5.3' into stable-5.4
X-Git-Tag: v5.13.0.202108250949-m3~45^2^2^2^2^2^2^2^2^2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c14cb5c0ed0eeb80f0ee16120d890a257f54780f;p=jgit.git

Merge branch 'stable-5.3' into stable-5.4

* stable-5.3:
  Prepare 5.1.17-SNAPSHOT builds
  JGit v5.1.16.202106041830-r
  BatchRefUpdate: Skip saving conflicting ref names and prefixes in memory
  BatchRefUpdateTest: Accurately assert RefsChangedEvent(s) fired
  Optimize RefDirectory.isNameConflicting()
  Update bazlets and bazel version

Change-Id: I1338fc79a7be6b77fb28df511dd7504fb19b6d1a
---

c14cb5c0ed0eeb80f0ee16120d890a257f54780f