From ef15067da1e1615029d1a7ef835bb5278bc81c8d Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Wed, 6 Mar 2024 16:49:28 +0100 Subject: doc: Update man page on Git file URLs --- share/man/just-mr-repository-config.5.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'share') diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 97901061..90ae5055 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -100,7 +100,8 @@ It defines as workspace root a part of a Git repository. The following fields are supported: - *`"repository"`* provides the URL of the Git repository. This entry - is mandatory. + is mandatory. Note that only URLs starting with `/`, `./`, or `file://` + are considered file URLs. - *`"commit"`* contains the commit hash. This has to be specified in hex encoding. This entry is mandatory. -- cgit v1.2.3