diff options
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index a70406d1..69922878 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -256,9 +256,11 @@ void EnsureCommit(GitRepoInfo const& repo_info, else { if (not fetch_absent) { // give warning - (*logger)( - "Absent root requested, but no serve endpoint provided", - /*fatal=*/false); + (*logger)(fmt::format("Missing serve endpoint for Git " + "repository {} marked absent " + "requires slower network fetch.", + repo_root.string()), + /*fatal=*/false); } } } |