Skip to content
Snippets Groups Projects
Commit 09aa7c81 authored by Will Thompson's avatar Will Thompson
Browse files

Prune tags as well 

If we delete a tag, we probably have a good reason.
parent 6de381ef
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
update_repos
+ 1
− 1
View file @ 09aa7c81
...@@ -22,7 +22,7 @@ GITHUB_API_HOST = 'https://api.github.com' ...@@ -22,7 +22,7 @@ GITHUB_API_HOST = 'https://api.github.com'
GIT_CLONE_CMD = 'git clone %s %s %s' GIT_CLONE_CMD = 'git clone %s %s %s'
GIT_CLONE_API_URL = 'https://%s@github.com/%s' GIT_CLONE_API_URL = 'https://%s@github.com/%s'
GIT_SHA_CMD = 'git rev-parse --short %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' GIT_CHECK_REMOTE_CMD = 'git ls-remote'
USER_DETAILS_PATH = '/users/%s' USER_DETAILS_PATH = '/users/%s'
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment