From b57a8522aed712532f3f4dc96181570e12d39b1d Mon Sep 17 00:00:00 2001 From: Doug Hellmann Date: Tue, 17 Oct 2017 17:53:06 -0400 Subject: [PATCH] remove redundant git operation git fetch and git remote update do the same work, and there is no need to do it twice. Keep the fetch command since we can explicitly tell it to pull down tags. Change-Id: Iac1602ebe7a1a67ad5fecb599cde21f2a312fff4 Signed-off-by: Doug Hellmann --- tools/clone_repo.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/clone_repo.sh b/tools/clone_repo.sh index 10a768ad3e..a3648403fd 100755 --- a/tools/clone_repo.sh +++ b/tools/clone_repo.sh @@ -158,7 +158,6 @@ fi # Make sure it is up to date compared to the upstream remote. (cd $local_dir && - git remote update && git fetch origin --tags )