From 17f88a4752243f09ede9571014b8d723aca6ca44 Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Tue, 31 Oct 2023 15:50:59 +0100 Subject: just-mr: Add 'mirrors' field to 'git' repositories --- src/other_tools/root_maps/commit_git_map.hpp | 2 ++ 1 file changed, 2 insertions(+) (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 26ed018b..a85f04e1 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -17,6 +17,7 @@ #include #include +#include #include "nlohmann/json.hpp" #include "src/buildtool/common/user_structs.hpp" @@ -32,6 +33,7 @@ struct GitRepoInfo { std::string repo_url{}; std::string branch{}; std::string subdir{}; /* key */ + std::vector mirrors{}; // name of repository for which work is done; used in progress reporting std::string origin{}; // create root that ignores symlinks -- cgit v1.2.3