diff options
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. """ |