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