diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-22 14:23:24 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-23 09:50:43 +0100 |
| commit | d6eb885a3f205e00a3be9f2ae2e8f510cae15d8a (patch) | |
| tree | dabb8e10973ae1d5f21f4c01bda72b3d1b68402d /src/other_tools/git_operations/git_config_settings.cpp | |
| parent | e0c38d7083e6c972a432bfff3a9863f251f2170c (diff) | |
| download | justbuild-d6eb885a3f205e00a3be9f2ae2e8f510cae15d8a.tar.gz | |
just-mr: Add git binary option
In the rare cases that we need to shell out to git, let the user
configure what binary to use. Option resolves in the same way as
the just executable, including allowing it to be set via just-mrrc.
Updates all cases of shelling out to git (fetch and commit update).
Update just-mr and just-mrrc docs accordingly.
Diffstat (limited to 'src/other_tools/git_operations/git_config_settings.cpp')
0 files changed, 0 insertions, 0 deletions