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,