]> source.dussan.org Git - jgit.git/commit
Merge branch 'master' into stable-6.5 51/200251/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 28 Feb 2023 23:11:41 +0000 (00:11 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 28 Feb 2023 23:11:41 +0000 (00:11 +0100)
commite060ac836daa4b7f08e45ecd69ecdfcf9efec4fb
tree969ae20851f68f69912696de8586ef0b91743425
parentb4fc53e2d19d962a40aad8d15807ae54491b1930
parent0518a6b0c16c1bce210bc9b2626104ef05975ee1
Merge branch 'master' into stable-6.5

* master:
  Change config pull.rebase=preserve to pull.rebase=merges
  BatchingProgressMonitor: expose time spent per task
  PackWriter: offer to write an object-size index for the pack
  Fix formatting in GC#doGc
  PackExt: Define new extension for the object size index

Change-Id: I174db870e6c2fcb72ff535b39bb6e1c3358f11b8