From de65c95f7ce5b4d39e03c672f2dd1a6ca6abfc1c Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 21 Mar 2021 12:23:56 +0200 Subject: feat: pull tags from git mirror --- pipelines/get_sources.ick | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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): -- cgit v1.2.1