[taler-deployment] branch master updated: skip

[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 83523b8  skip
83523b8 is described below

commit 83523b89836a2863ee8c76f402cbc1de638014d9
Author: Florian Dold <florian@dold.me>
AuthorDate: Mon Jan 24 23:34:11 2022 +0100

    skip
---
 bin/taler-deployment | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/bin/taler-deployment b/bin/taler-deployment
index 94e6522..87899dd 100755
--- a/bin/taler-deployment
+++ b/bin/taler-deployment
@@ -538,8 +538,11 @@ def ensure_activated():
         sys.exit(1)
 
 
-def update_repos(repos: List[Repo]) -> None:
+def update_repos(cfg, repos: List[Repo]) -> None:
     for r in repos:
+        tag = getattr(cfg, "tag_" + r.name.replace("-", "_"))
+        if tag == "SKIP":
+            continue
         r_dir = Path.home() / "sources" / r.name
         subprocess.run(["git", "-C", str(r_dir), "fetch"], check=True)
         res = subprocess.run(
@@ -624,7 +627,7 @@ def build() -> None:
         print("Please create ~/envcfg.py (template in deployment.git can 
help)")
         return 1
     env_info = get_env_info(cfg)
-    update_repos(env_info.repos)
+    update_repos(cfg, env_info.repos)
     stale = get_stale_repos(env_info.repos)
     print(f"found stale repos: {stale}")
     for r in stale:

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