1 files changed, 3 insertions, 0 deletions
diff --git a/bin/taler-deployment b/bin/taler-deployment
index aa3c956..94e6522 100755
--- a/bin/taler-deployment
+++ b/bin/taler-deployment
@@ -628,6 +628,9 @@ def build() -> None:
     stale = get_stale_repos(env_info.repos)
     print(f"found stale repos: {stale}")
     for r in stale:
+        tag = getattr(cfg, "tag_" + r.name.replace("-", "_"))
+        if tag == "SKIP":
+            continue
         p = Path.home() / "sources" / r.name
         os.chdir(str(p))
         r.builder(r, p)