diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27 18:08:23 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27 18:08:23 +0200 |
commit | 7480f4f9a478d294eaa095c101df7c0543c1fd71 (patch) | |
tree | 0e4c3a5cac785ccc8f7d78beffeaea32b27744fd /scripts | |
parent | 9f64cb89cbbd0cd0540ad99e3578b6cecd385a81 (diff) |
builtins.fetchgit: Support specifying commit hashes
This adds an argument "rev" specififying the Git commit hash. The
existing argument "rev" is renamed to "ref". The default value for
"ref" is "master". When specifying a hash, it's necessary to specify a
ref since we're not cloning the entire repository but only fetching a
specific ref.
Example usage:
builtins.fetchgit {
url = https://github.com/NixOS/nixpkgs.git;
ref = "release-16.03";
rev = "c1c0484041ab6f9c6858c8ade80a8477c9ae4442";
};
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions