From 3eef9b3da3529b60fc3fd68930023dd1a0e6f50c Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Mon, 4 Dec 2023 13:52:34 +0100 Subject: just-mr.1: 'git tree' repos can also be fetched and backed to remote. --- share/man/just-mr.1.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 74f0f239..7126487d 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -224,11 +224,12 @@ file. fetch ----- -This subcommand prepares all archive-type workspace roots for an offline -build by fetching all their required source files from the specified -locations given in the input configuration file. Any subsequent -**`just-mr`** or **`just`** invocations containing fetched archive workspace -roots will thus need no further network connections. +This subcommand prepares all archive-type and **`"git tree"`** workspace roots +for an offline build by fetching all their required source files from the +specified locations given in the input configuration file or ensuring the +specified tree is present in the Git cache, respectively. Any subsequent +**`just-mr`** or **`just`** invocations containing fetched archive or +**`"git tree"`** workspace roots will thus need no further network connections. If a main repository is provided in the input configuration or on command line, only it and its dependencies are considered for fetching. @@ -245,7 +246,8 @@ directories, use the **`-o`** option. Additionally, and only in *native mode*, the **`--backup-to-remote`** option can be used in combination with the **`--remote-execution-address`** argument to -synchronize the locally fetched archives with a remote endpoint. +synchronize the locally fetched archives, as well as the **`"git tree"`** +workspace roots, with a remote endpoint. update ------ -- cgit v1.2.3