]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 064691e 61d4e31)
Merge branch 'stable-5.13' into stable-6.0 21/201521/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 26 Apr 2023 19:40:22 +0000 (21:40 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 26 Apr 2023 19:40:22 +0000 (21:40 +0200)
* stable-5.13:
  [bazel] Skip ConfigTest#testCommitTemplatePathInHomeDirecory
  Demote severity of some error prone bug patterns to warnings

Change-Id: I63b9adc22e1e1d9a9c754fe070ddfe21a52446c7

1  2 
tools/BUILD patch | diff1 | diff2 | blob | history

diff --cc tools/BUILD
Simple merge
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit