]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 567bf85 3ae0b5c)
Merge branch 'stable-5.7' 23/160423/1
authorThomas Wolf <thomas.wolf@paranor.ch>
Fri, 3 Apr 2020 08:39:37 +0000 (10:39 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Fri, 3 Apr 2020 08:40:30 +0000 (10:40 +0200)
* stable-5.7:
  FS.runInShell(): handle quoted filters and hooksPath containing blanks
  Handle non-normalized index also for executable files
  Prepare 5.7.1-SNAPSHOT builds
  JGit v5.7.0.202003110725-r

Change-Id: I8a8580e44bfa05989d476cf22a029abd4fd407c6
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>

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