Fix rendering of fetchGit documentation

stripIndentation() doesn't support tabs, so the entire markdown ended
up indented and thus rendered as a code block.

(cherry picked from commit 16cb9b9f04)
This commit is contained in:
Eelco Dolstra 2023-03-21 14:48:15 +01:00 committed by github-actions[bot]
parent a64ab82c30
commit d2ee9fc61f

View File

@ -473,10 +473,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,
});