diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/taler-deployment | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/taler-deployment b/bin/taler-deployment index 33d7573..aa3c956 100755 --- 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, ) |