From 82720e4b84dc4af23949026ed2eba12eb39b6af5 Mon Sep 17 00:00:00 2001 From: Uri Shaked Date: Thu, 12 Oct 2023 22:34:13 +0300 Subject: [PATCH] feat: support for skipping designs by specifying ` "skip": true ` in commit_id.json --- configure.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configure.py b/configure.py index 7e8ac79..18f9b98 100755 --- a/configure.py +++ b/configure.py @@ -51,6 +51,9 @@ class Projects: continue commit_id_data = json.load(open(commit_id_file)) + if commit_id_data.get("skip", False): + logging.warning(f"skipping {project_dir} (skip flag set)") + continue project = Project( index, commit_id_data["repo"], project_dir, args, is_user_project=False