tree d4b20ce976fb706f955e1f498d69ad2c8a1093b0
parent faa32cb22502e1f756130c3427e0e03458e5dfc1
parent 305fbeec412bea5f62d0f3fafc8d445aee82de0a
author David Ostrovsky <david@ostrovsky.org> 1780046945 +0200
committer David Ostrovsky <david@ostrovsky.org> 1780046945 +0200

Merge branch 'stable-7.3' into stable-7.4

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

Change-Id: I0c05be9dd6100eebeff42b0169c1978fe898b18f