]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: adc1fc6 e68c381)
Merge branch 'stable-5.7' into stable-5.8 80/181880/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:54:06 +0000 (23:54 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 21:54:06 +0000 (23:54 +0200)
* stable-5.7:
  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: I1ee0d01c14fb7dca151b4e7ae1b989da5a3a01e3


Trivial merge
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit