]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3d15679 8406338)
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)
* 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


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