summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2021-03-21 12:23:56 +0200
committerLars Wirzenius <liw@liw.fi>2021-03-21 12:23:56 +0200
commitde65c95f7ce5b4d39e03c672f2dd1a6ca6abfc1c (patch)
treefea28a6b231d882282fd2c85c7443dc808af2938
parent9d4f0df115484126e59a40913fac6aa2f3911990 (diff)
downloadick2-local-ick.tar.gz
feat: pull tags from git mirrorlocal-ick
-rw-r--r--pipelines/get_sources.ick2
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):