diff --git a/update_repos b/update_repos index 8bcb5cb7c49f34266c33fb21b04e2d289d4b1003..b3702203c8fe69a51785f119c6895b4295087754 100755 --- a/update_repos +++ b/update_repos @@ -22,7 +22,7 @@ GITHUB_API_HOST = 'https://api.github.com' GIT_CLONE_CMD = 'git clone %s %s %s' GIT_CLONE_API_URL = 'https://%s@github.com/%s' GIT_SHA_CMD = 'git rev-parse --short %s' -GIT_FETCH_CMD = 'git fetch' +GIT_FETCH_CMD = 'git fetch --tags' GIT_CHECK_REMOTE_CMD = 'git ls-remote' USER_DETAILS_PATH = '/users/%s'