diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-12-14T19·07+0100 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2018-12-14T19·12+0100 |
commit | 7e35e914c1aa24957107c666c76f1d834ebae90a (patch) | |
tree | 1cc09dcf703bbb299a6c81f491e7196ca15fc85e /doc/manual/release-notes/rl-2.3.xml | |
parent | c37e6d77ea86df249aeaf65d329a6be3b837ad62 (diff) |
fetchGit: allow fetching explicit refs
Trying to fetch refs that are not in refs/heads currently fails because it looks for refs/heads/refs/foo instead of refs/foo. eg. builtins.fetchGit { url = https://github.com/NixOS/nixpkgs.git; ref = "refs/pull/1024/head; }
Diffstat (limited to 'doc/manual/release-notes/rl-2.3.xml')
0 files changed, 0 insertions, 0 deletions