Merge pull request #74287 from d-goldin/nix_prefetch_git_branchname_help

nix-prefetch-git: list --branch-name in help
This commit is contained in:
Maximilian Bosch 2019-11-26 22:23:58 +01:00 committed by GitHub
commit ec0590c566
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,6 +42,7 @@ Options:
--url url Any url understood by 'git clone'.
--rev ref Any sha1 or references (such as refs/heads/master)
--hash h Expected hash.
--branch-name Branch name to check out into
--deepClone Clone the entire repository.
--no-deepClone Make a shallow clone of just the required ref.
--leave-dotGit Keep the .git directories.