From a987adcbb97f878698018c1ec73536ad9bc2dcac Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Fri, 10 Nov 2023 11:53:45 +0100 Subject: man: Add documentation for specifying alternative mirrors --- share/man/just-import-git.1.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'share/man/just-import-git.1.md') diff --git a/share/man/just-import-git.1.md b/share/man/just-import-git.1.md index def3e495..4d33f488 100644 --- a/share/man/just-import-git.1.md +++ b/share/man/just-import-git.1.md @@ -82,6 +82,14 @@ for a single repository. Useful, if the repository to be imported does not have a repository configuration or should be imported without dependencies. +**`--mirror`** *`URL`* +Provides an alternative fetch location for the imported repository. +Specifying this option multiple times will accumulate URLs in the order +they appear on the command line. These URLs will not be used during the +import, but instead will be recorded as the value of the `"mirrors"` key +in the resulting configuration of the imported repository. +See **`just-mr-repository-config`**(5). + See also ======== -- cgit v1.2.3