]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-6.7' 35/204935/2
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 13 Oct 2023 19:31:00 +0000 (21:31 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Fri, 13 Oct 2023 19:31:00 +0000 (21:31 +0200)
* stable-6.7:
  PackConfig: fix @since tags
  Remove unused API problem filters
  Add support for git config repack.packKeptObjects
  Do not exclude objects in locked packs from bitmap processing

Change-Id: I7e0856a5d70d5d155cf6874383ea1f5622d5238a

1  2 
Documentation/config-options.md
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java

Simple merge