diff options
| -rw-r--r-- | pipelines/get_sources.ick | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pipelines/get_sources.ick b/pipelines/get_sources.ick index 552649f..4e3dd4d 100644 --- a/pipelines/get_sources.ick +++ b/pipelines/get_sources.ick @@ -60,7 +60,7 @@ pipelines: # Only pull if in a branch. head = open('{}/.git/HEAD'.format(dirname)).read().strip() if head.startswith('ref:'): - RUN('git', 'pull', cwd=dirname) + RUN('git', 'pull', '--tags', cwd=dirname) else: # Initial clone. Handle ref being a commit id specially. if re.match('^[a-fA-F0-9]+$', ref): |