fetchGit: allow fetching revs which are not ancestors of HEAD without specifying a ref#3408

basvandijk wants to merge 1 commit intoNixOS:masterNixOS/nix:masterfrom

basvandijk:fetchGit-fetch-rev-instead-of-refbasvandijk/nix:fetchGit-fetch-rev-instead-of-refCopy head branch name to clipboard