commit 03bd9f55efa0e0aec52c18427db4feeb4277b571
parent ee5f709a1f4165e12727be2718a3b2e1aa874ae3
Author: Florian Dold <florian@dold.me>
Date: Mon, 24 Jan 2022 22:46:34 +0100
allow to SKIP repos
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/bin/taler-deployment b/bin/taler-deployment
@@ -655,11 +655,13 @@ def checkout_repos(cfg, repos):
sources = home / "sources"
for r in repos:
r_dir = home / "sources" / r.name
+ tag = getattr(cfg, "tag_" + r.name.replace("-", "_"))
+ if tag == "SKIP":
+ continue
if not r_dir.exists():
r_dir.mkdir(parents=True, exist_ok=True)
subprocess.run(["git", "-C", str(sources), "clone", r.url], check=True)
subprocess.run(["git", "-C", str(r_dir), "fetch"], check=True)
- tag = getattr(cfg, "tag_" + r.name.replace("-", "_"))
subprocess.run(
["git", "-C", str(r_dir), "checkout", "-q", "-f", tag, "--"], check=True,
)