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