Change git clone to pull all history, so all needed commits can be accessed. Fixes #4537. Change-Id: I28afcbc89e230e319788c2426e57d43c1ad5dfee PiperOrigin-RevId: 183827742
diff --git a/tools/build_defs/repo/git.bzl b/tools/build_defs/repo/git.bzl index 36eb5fb..3e708df 100644 --- a/tools/build_defs/repo/git.bzl +++ b/tools/build_defs/repo/git.bzl
@@ -29,10 +29,10 @@ ( cd {working_dir} && if ! ( cd '{dir}' && [[ "$(git rev-parse --git-dir)" == '.git' ]] ) >/dev/null 2>&1; then rm -rf '{dir}' - git clone --depth=1 '{remote}' '{dir}' + git clone '{remote}' '{dir}' fi cd '{dir}' - git reset --hard {ref} || (git fetch --depth=1 origin {ref}:{ref} && git reset --hard {ref}) + git reset --hard {ref} || (git fetch origin {ref}:{ref} && git reset --hard {ref}) git clean -xdf ) """.format( working_dir=ctx.path('.').dirname,