1# tested so far with:
2# - no revision specified and remote has a HEAD which is used
3# - revision specified and remote has a HEAD
4# - revision specified and remote without HEAD
5source $stdenv/setup
6
7header "exporting $url (rev $rev) into $out"
8
9$fetcher --builder --url "$url" --out "$out" --rev "$rev" \
10 ${leaveDotGit:+--leave-dotGit} \
11 ${deepClone:+--deepClone} \
12 ${fetchSubmodules:+--fetch-submodules} \
13 ${branchName:+--branch-name "$branchName"}
14
15stopNest