fetchgit: give output a nicer name