diff options
author | Shea Levy <shea@shealevy.com> | 2018-02-28T23·44-0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-28T23·44-0500 |
commit | 4a000cbb39766812fccebfa7cf8b76ecca8f6e63 (patch) | |
tree | 58ad2f2372e542b716c879913d7daf6b37987ddb | |
parent | 05cb8e5c5a954fa999ac5156cdf19148a05fdb2b (diff) | |
parent | e89d02bf031277bd81a8ce255f49d352763e5c71 (diff) |
Merge pull request #1927 from dtzWill/fix/fetchgit-HEAD
fetchGit: use "HEAD" as default ref instead of "master"
-rw-r--r-- | src/libexpr/primops/fetchGit.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libexpr/primops/fetchGit.cc b/src/libexpr/primops/fetchGit.cc index 2e3e2634db8f..9fc0d46626dd 100644 --- a/src/libexpr/primops/fetchGit.cc +++ b/src/libexpr/primops/fetchGit.cc @@ -79,7 +79,7 @@ GitInfo exportGit(ref<Store> store, const std::string & uri, ref = "HEAD"s; } - if (!ref) ref = "master"s; + if (!ref) ref = "HEAD"s; if (rev != "" && !std::regex_match(rev, revRegex)) throw Error("invalid Git revision '%s'", rev); |