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