]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 072f4e5 b058944)
Merge "Document option gc.writeCommitGraph"
authorIvan Frade <ifrade@google.com>
Tue, 5 Dec 2023 18:39:19 +0000 (18:39 +0000)
committerGerrit Code Review <support@gerrithub.io>
Tue, 5 Dec 2023 18:39:19 +0000 (18:39 +0000)

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