diff options
author | 2018-02-12 09:40:09 -0800 | |
---|---|---|
committer | 2018-02-12 09:42:22 -0800 | |
commit | 2950f318733ff886591434126036d796c24f99e1 (patch) | |
tree | 3f9d0642dd5160d5670a2640c864061d119b3477 /tools | |
parent | 44270eb72d779e5b91e84c2100eac23e01f0966e (diff) |
git_repository: add missing args to doc string
Change-Id: Id898aafaf1a5dec16e5639f50981c1051caa70eb
PiperOrigin-RevId: 185390071
Diffstat (limited to 'tools')
-rw-r--r-- | tools/build_defs/repo/git.bzl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/build_defs/repo/git.bzl b/tools/build_defs/repo/git.bzl index bd162b4812..020b3acc6f 100644 --- a/tools/build_defs/repo/git.bzl +++ b/tools/build_defs/repo/git.bzl @@ -119,6 +119,11 @@ Args: build_file_content: The content for the BUILD file for this repository. Either build_file or build_file_content must be specified. + tag: tag in the remote repository to checked out + + commit: specific commit to be checked out + Either tag or commit must be specified. + init_submodules: Whether to clone submodules in the repository. remote: The URI of the remote Git repository. @@ -142,5 +147,11 @@ Args: remote: The URI of the remote Git repository. + tag: tag in the remote repository to checked out + + commit: specific commit to be checked out + Either tag or commit must be specified. + + strip_prefix: A directory prefix to strip from the extracted files. """ |