git-fetch: more terse fetch output