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 | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index 6bf11efc..ff35d95b 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -423,12 +423,15 @@ void EnsureCommit(GitRepoInfo const& repo_info, fetch_repo, msg); }); - if (not git_repo->FetchViaTmpRepo(tmp_dir->GetPath(), - fetch_repo, - repo_info.branch, - git_bin, - launcher, - wrapped_logger)) { + if (git_repo->FetchViaTmpRepo(tmp_dir->GetPath(), + fetch_repo, + repo_info.branch, + git_bin, + launcher, + wrapped_logger)) { + fetched = true; + } + else { // add main fetch URL to buffer remotes_buffer.append(fmt::format("\n> {}", fetch_repo)); // now try to fetch from mirrors, in order, if given |