about summary refs log tree commit diff
path: root/ops/infra/.skip-subtree
diff options
context:
space:
mode:
Diffstat (limited to 'ops/infra/.skip-subtree')
-rw-r--r--ops/infra/.skip-subtree2
1 files changed, 0 insertions, 2 deletions
diff --git a/ops/infra/.skip-subtree b/ops/infra/.skip-subtree
deleted file mode 100644
index cee24b75793c..000000000000
--- a/ops/infra/.skip-subtree
+++ /dev/null
@@ -1,2 +0,0 @@
-Code under //ops/infra is mostly configuration for other tools, not
-Nix derivations to be built.