tree d89dfb40f228c13de104328c2989fb80781ec2b6
parent a2c9827ede4ed392dfc02a00ee8cc4d86b09771f
parent dd1d7b07d5b466916a04e9ff2f71ae9a05047d96
author David Ostrovsky <david@ostrovsky.org> 1780046933 +0200
committer David Ostrovsky <david@ostrovsky.org> 1780046933 +0200

Merge branch 'stable-7.2' into stable-7.3

* stable-7.2:
  Document JGit receive command size options
  Document receive.autogc configuration option
  Introduce fetch.autogc to disable concurrent GC upon fetches

Change-Id: I448a6c3738f23d2ab682d963f87c85ede26472dc