From 17143ed02545efab55c175db66a9e31db4cce0f0 Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Tue, 21 Mar 2023 14:02:44 +0100 Subject: just-mr: Shell out to system Git for fetches over SSH... ...due to limited SSH support in libgit2. In order to allow the fetches to still be parallel, we execute: git fetch --no-auto-gc --no-write-fetch-head [] This only fetches the packs without updating any refs, at the slight cost of sometimes fetching some redundant information, which for our purposes is practically a non-issue. (If really needed, a 'git gc' call can be done eventually to try to compact the fetched packs, although a save in disk space is not actually guaranteed.) --- src/other_tools/root_maps/commit_git_map.hpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/other_tools/root_maps/commit_git_map.hpp') diff --git a/src/other_tools/root_maps/commit_git_map.hpp b/src/other_tools/root_maps/commit_git_map.hpp index 413d83ac..c021382c 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -58,6 +58,7 @@ using CommitGitMap = [[nodiscard]] auto CreateCommitGitMap( gsl::not_null const& critical_git_op_map, JustMR::PathsPtr const& just_mr_paths, + std::vector const& launcher, std::size_t jobs) -> CommitGitMap; #endif // INCLUDED_SRC_OTHER_TOOLS_ROOT_MAPS_COMMIT_GIT_MAP_HPP -- cgit v1.2.3