tree 3d19f561f3d6b8a0cb88c9b9b7d3006701f3191d
parent 6f113ea23e450f3f3126371b67baacba7833ae74
parent 957ef2813d091fef32b0e9aa62dd2bea22a9cff5
author David Ostrovsky <david@ostrovsky.org> 1780046495 +0200
committer David Ostrovsky <david@ostrovsky.org> 1780046495 +0200

Merge branch 'stable-7.0' into stable-7.1

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

Change-Id: I2674d989478e415d2bfc7da7517b06bdc3053c14