1 files changed, 2 insertions, 0 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py
index 17cd105d..e235aa0d 100755
--- a/bin/bootstrap.py
+++ b/bin/bootstrap.py
@@ -294,6 +294,8 @@ def prune_config(*, repos_file, empty_dir):
     with open(repos_file) as f:
         repos = json.load(f)
     for repo in repos["repositories"]:
+        if repo in NON_LOCAL_DEPS:
+            continue
         desc = repos["repositories"][repo]
         if desc.get("bootstrap", {}).get("drop"):
             desc["repository"] = {"type": "file", "path": empty_dir}