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/release-notes.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/release-notes.xml')
0 files changed, 0 insertions, 0 deletions