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 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index ff35d95b..e07a8967 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -411,6 +411,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append( fmt::format("\n> {}", *preferred_url)); } + else { + // report failed hostname + remotes_buffer.append( + fmt::format("\n> {} (failed hostname replace: {})", + fetch_repo, + hostname)); + } } } if (not fetched) { @@ -469,6 +476,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append(fmt::format( "\n> {}", *preferred_mirror)); } + else { + // report failed hostname + remotes_buffer.append(fmt::format( + "\n> {} (failed hostname replace: {})", + mirror, + hostname)); + } } } if (fetched) { |