Vladimír Čunát 986c17727e Merge: more compatibility for git* fetchers ... They're additional commits from #26877. Changing names of the fetched stuff was changing very many hashes, and I think it's better to avoid that for the moment to reduce work needed by nixpkgs users. The fetchers are expected to be commonly used even outside nixpkgs, and the current naming wasn't that bad usually. (commit analogical to d10c3cc5eedf58e80e2; I haven't noticed the part of the PR has already got to master)		2017-07-09 10:31:24 +02:00
..
builder.sh
default.nix	support old naming, just add escaping of unsafe chars	2017-07-05 16:01:26 +00:00
gitrepotoname.nix	gitRepoToName: make it compatible with old fetchFromGitHub's "${repo}-${rev}-scr" to avoid mass rebuild	2017-07-04 20:22:13 +00:00
nix-prefetch-git	Merge branch 'master' into staging	2017-07-05 09:53:53 +02:00
private.nix