[taler-deployment] branch master updated: allow to SKIP repos

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new 03bd9f5  allow to SKIP repos
03bd9f5 is described below

commit 03bd9f55efa0e0aec52c18427db4feeb4277b571
Author: Florian Dold <florian@dold.me>
AuthorDate: Mon Jan 24 22:46:34 2022 +0100

    allow to SKIP repos
---
 bin/taler-deployment | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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,
         )

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.