From 8945d92c79abf5df647f2c1fa3f5b2f522940807 Mon Sep 17 00:00:00 2001 From: Caio Marcelo de Oliveira Filho Date: Mon, 12 Mar 2018 10:25:58 -0700 Subject: [PATCH] Fetch new tags when fetching new Git sources Change-Id: I1a906ebf2698eac33c3acbf1da74df9642b775a2 Component: Framework (cherry picked from commit 204d597504c94fa52ed0f5a2c21895482236d5cc) --- external/fetch_sources.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/fetch_sources.py b/external/fetch_sources.py index 71f852a..4e7ae80 100644 --- a/external/fetch_sources.py +++ b/external/fetch_sources.py @@ -228,7 +228,7 @@ class GitRepo (Source): pushWorkingDir(fullDstPath) try: - execute(["git", "fetch", url, "+refs/heads/*:refs/remotes/origin/*"]) + execute(["git", "fetch", "--tags", url, "+refs/heads/*:refs/remotes/origin/*"]) execute(["git", "checkout", self.revision]) finally: popWorkingDir() -- 2.7.4