diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-06 18:13:37 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
| commit | a53aedf9a2aa568bc9f037925a86de3741af08f6 (patch) | |
| tree | 60ac0d196908ab7c1351692c4394acb7dc0a128d /src/other_tools/root_maps/commit_git_map.hpp | |
| parent | af2409ef15993d97df342115b34799cc56558015 (diff) | |
| download | justbuild-a53aedf9a2aa568bc9f037925a86de3741af08f6.tar.gz | |
just-mr git fetch: Add logic for local mirrors and preferred hostnames
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.hpp b/src/other_tools/root_maps/commit_git_map.hpp index a85f04e1..70623598 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -23,6 +23,7 @@ #include "src/buildtool/common/user_structs.hpp" #include "src/buildtool/execution_api/common/execution_api.hpp" #include "src/buildtool/serve_api/remote/serve_api.hpp" +#include "src/other_tools/just_mr/mirrors.hpp" #include "src/other_tools/ops_maps/critical_git_op_map.hpp" #include "src/other_tools/ops_maps/import_to_git_map.hpp" #include "src/utils/cpp/hash_combine.hpp" @@ -72,6 +73,7 @@ using CommitGitMap = gsl::not_null<CriticalGitOpMap*> const& critical_git_op_map, gsl::not_null<ImportToGitMap*> const& import_to_git_map, LocalPathsPtr const& just_mr_paths, + MirrorsPtr const& additional_mirrors, std::string const& git_bin, std::vector<std::string> const& launcher, ServeApi* serve_api, |