aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2023-03-21 15:24:54 +0100
committerGitHub <noreply@github.com>2023-03-21 15:24:54 +0100
commit4dcc0a1b766be6242ad5b478b88fd59d5081446f (patch)
tree97c1fc0582a08fde0f860c1e035571907bfb2e2f
parentcdfa59daa17d647308d8ac48a6b3e1a7328c3640 (diff)
parent16cb9b9f045d7fc70faf911bfd564e2c79c66685 (diff)
Merge pull request #8085 from edolstra/fetchGit-md
Fix rendering of fetchGit documentation
-rw-r--r--src/libexpr/primops/fetchTree.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/libexpr/primops/fetchTree.cc b/src/libexpr/primops/fetchTree.cc
index fd51dfb90..0f54fedde 100644
--- a/src/libexpr/primops/fetchTree.cc
+++ b/src/libexpr/primops/fetchTree.cc
@@ -481,10 +481,10 @@ static RegisterPrimOp primop_fetchGit({
builtins.fetchGit ./work-dir
```
- 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
- 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`.
+ 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
+ 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`.
)",
.fun = prim_fetchGit,
});