From 47f25e7684e6b34ade5071657d012b35f7fd51bf Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Tue, 19 Dec 2023 09:56:50 +0100 Subject: just-mr setup: Add missing reporting of failed hostname replacement --- src/other_tools/root_maps/commit_git_map.cpp | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/other_tools/root_maps/commit_git_map.cpp') 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) { -- cgit v1.2.3