diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-18 19:21:50 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-20 15:19:04 +0200 |
| commit | e990be7fbfff405e707cd1d03bc93250a43da23e (patch) | |
| tree | 5721128d8195bc14236c337365701793415b82b4 /share | |
| parent | c95f3eaf1e039ac83921a6b98b17a42addd1835d (diff) | |
| download | justbuild-e990be7fbfff405e707cd1d03bc93250a43da23e.tar.gz | |
man: Update just-mr-repository-config man page
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr-repository-config.5.org | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-mr-repository-config.5.org b/share/man/just-mr-repository-config.5.org index 7e7b9911..dd1736af 100644 --- a/share/man/just-mr-repository-config.5.org +++ b/share/man/just-mr-repository-config.5.org @@ -144,6 +144,9 @@ Specifically, the following fields are supported: The repository configuration format is structured as a JSON object. The following fields are supported: +- ~"main"~ contains a JSON string that determines which of the provided + repositories is considered the main repository. + - ~"repositories"~ contains a JSON object, where each key is the global name of a repository and its corresponding value is the /repository description/. |