]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.8' into stable-5.9 81/181881/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:55:03 +0000 (23:55 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:55:03 +0000 (23:55 +0200)
* stable-5.8:
  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: I9abf7dd8b8e5eb3199fd6b43a4653c4e4cf4bf1b


Trivial merge