diff options
author | Lars Wirzenius <liw@liw.fi> | 2021-03-21 12:23:56 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2021-03-21 12:23:56 +0200 |
commit | de65c95f7ce5b4d39e03c672f2dd1a6ca6abfc1c (patch) | |
tree | fea28a6b231d882282fd2c85c7443dc808af2938 | |
parent | 9d4f0df115484126e59a40913fac6aa2f3911990 (diff) | |
download | ick2-local-ick.tar.gz |
feat: pull tags from git mirrorlocal-ick
-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): |