diff options
Diffstat (limited to 'share/man/just-import-git.1.md')
| -rw-r--r-- | share/man/just-import-git.1.md | 8 |
1 files changed, 8 insertions, 0 deletions
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 ======== |