c55c7e1c1e
This is useful when `leaveDotGit = true` and some other derivation expects some branch name to exist. Previously, `nix-prefetch-git` always created a branch with a hard-coded name (`fetchgit`).
16 lines
467 B
Bash
16 lines
467 B
Bash
# tested so far with:
|
|
# - no revision specified and remote has a HEAD which is used
|
|
# - revision specified and remote has a HEAD
|
|
# - revision specified and remote without HEAD
|
|
source $stdenv/setup
|
|
|
|
header "exporting $url (rev $rev) into $out"
|
|
|
|
$fetcher --builder --url "$url" --out "$out" --rev "$rev" \
|
|
${leaveDotGit:+--leave-dotGit} \
|
|
${deepClone:+--deepClone} \
|
|
${fetchSubmodules:+--fetch-submodules} \
|
|
${branchName:+--branch-name "$branchName"}
|
|
|
|
stopNest
|