]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 93d3d48 e2dc4b9)
Merge branch 'stable-5.10' into stable-5.11 89/181889/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 23:13:18 +0000 (01:13 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 Jun 2021 23:13:18 +0000 (01:13 +0200)
* stable-5.10:
  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: I265425194c24fd82cbeff869ce41cbc9b73571a2


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