Merge pull request #8085 from edolstra/fetchGit-md

Fix rendering of fetchGit documentation
This commit is contained in:
Eelco Dolstra 2023-03-21 15:24:54 +01:00 committed by GitHub
commit 4dcc0a1b76
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -481,10 +481,10 @@ static RegisterPrimOp primop_fetchGit({
builtins.fetchGit ./work-dir builtins.fetchGit ./work-dir
``` ```
If the URL points to a local directory, and no `ref` or `rev` is If the URL points to a local directory, and no `ref` or `rev` is
given, `fetchGit` will use the current content of the checked-out given, `fetchGit` will use the current content of the checked-out
files, even if they are not committed or added to Git's index. It will files, even if they are not committed or added to Git's index. It will
only consider files added to the Git repository, as listed by `git ls-files`. only consider files added to the Git repository, as listed by `git ls-files`.
)", )",
.fun = prim_fetchGit, .fun = prim_fetchGit,
}); });