git backend: be a little more quiet when fetching
Merge pull request #1806 from OCamlPro/git-quiet

git backend: be a little more quiet when fetching