diff --git a/update_repos b/update_repos index fa776d8b69226532edccebdf6113c0ff508e36cc..9234593b2fbde364aca5aacd55af5176b8a1439e 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 --prune' +GIT_FETCH_CMD = 'git fetch --prune --tags' GIT_CHECK_REMOTE_CMD = 'git ls-remote' USER_DETAILS_PATH = '/users/%s'