]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-5.9' into stable-5.10 82/181882/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:55:46 +0000 (23:55 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:55:46 +0000 (23:55 +0200)
commite2dc4b9c6445f91da73437e2ccc9729d86f776e2
tree957235f6173e035b314b05229336a46ac29ed3f8
parent3d156790e9b9ac095bd9abd100b79d4fecbe7ecf
parent84063386b5bd65ded738d227cc9dd6abdbb97b88
Merge branch 'stable-5.9' into stable-5.10

* stable-5.9:
  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: Ib1299564a4cfb9c01f422d7ada05fcfac29700f8