just-mr: add option to override the absent pragma

Using absent repositories depends on a just-serve endpoint. As
such, it is not a datum of the project, but one of the available
infrastructure. As the latter can change independently of the
project, it is desriable to have the option to specify those pieces
of information in separate files.

2 files changed, 14 insertions, 0 deletions

diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md
index e05828c6..12bd71a5 100644
--- a/share/man/just-mr.1.md
+++ b/share/man/just-mr.1.md
@@ -53,6 +53,12 @@ order:
 The default configuration lookup order can be adjusted in the just-mrrc
 file. See **`just-mrrc`**(5) for more details.
 
+**`--absent`** *`PATH`*  
+Path to a file specifying which repositories are to be considered
+absent, overriding the values set by the *`"pragma"`* entries in the
+multi-repository configuration. The file has to contain a JSON array
+of those repository names to be considered absent.
+
 **`-D`**, **`--defines`** *`JSON`*  
 Defines, via an in-line JSON object, an overlay configuration for
 **`just`**(1); if used as a launcher for a subcommand known to support
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index 5a7d0b82..b0a434e3 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -51,6 +51,10 @@ The just-mrrc is given by a JSON object.
    detail). The lookup is performed in the same order the location
    objects appear in the list.
 
+ - The value for the key *`"absent"`*, if provided, is a JSON list
+   of location objects to search for a file specifying the list of
+   absent repositories.
+
  - The value for the key *`"local build root"`* is a single location
    object, specifying the path to use as the local build root. For more
    details, see **`just-mr`**(1).
@@ -124,6 +128,10 @@ An example just-mrrc file could look like the following:
   , {"root": "home", "path": ".just-repos.json"}
   , {"root": "system", "path": "etc/just-repos.json"}
   ]
+, "absent":
+  [ {"root": "workspace", "path": "etc/absent.json"}
+  , {"root": "home", "path": ".just-absent"}
+  ]
 , "local build root": {"root": "home", "path": ".cache/just"}
 , "checkout locations": {"root": "home", "path": ".just-local.json"}
 , "local launcher": ["env", "--"]