diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-22 16:39:32 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-12-22 16:39:32 +0100 |
| commit | f4a9fb67da5bc55221be451556710dfacb39eda0 (patch) | |
| tree | 91c3d568e09772b714dba86fa66ebc9eea6eae74 /src/libexpr | |
| parent | e27044216bf597710893e0366dbff60efbdaf0a6 (diff) | |
| parent | 897ae235fc2cef0ce711470a7b620241d82a1b09 (diff) | |
Merge branch 'git-rev-error' of https://github.com/Ma27/nix into master
Diffstat (limited to 'src/libexpr')
| -rw-r--r-- | src/libexpr/primops/fetchTree.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libexpr/primops/fetchTree.cc b/src/libexpr/primops/fetchTree.cc index 6e7ddde8e..133299030 100644 --- a/src/libexpr/primops/fetchTree.cc +++ b/src/libexpr/primops/fetchTree.cc @@ -324,6 +324,11 @@ static RegisterPrimOp primop_fetchGit({ A Boolean parameter that specifies whether submodules should be checked out. Defaults to `false`. + - allRefs + Whether to fetch all refs of the repository. With this argument being + true, it's possible to load a `rev` from *any* `ref` (by default only + `rev`s from the specified `ref` are supported). + Here are some examples of how to use `fetchGit`. - To fetch a private repository over SSH: |