just-mr: Shell out to system Git for fetches over SSH...

...due to limited SSH support in libgit2. In order to allow the
fetches to still be parallel, we execute:

	git fetch --no-auto-gc --no-write-fetch-head <repo> [<branch>]

This only fetches the packs without updating any refs, at the slight
cost of sometimes fetching some redundant information, which for our
purposes is practically a non-issue.

(If really needed, a 'git gc' call can be done eventually to try to
compact the fetched packs, although a save in disk space is not
actually guaranteed.)

0 files changed, 0 insertions, 0 deletions