diff --git a/docs/ops/.gitignore b/docs/ops/.gitignore
new file mode 100644
index 00000000..86d3d3a1
--- /dev/null
+++ b/docs/ops/.gitignore
@@ -0,0 +1,3 @@
+activity.jsonl
+runall.json
+.runall.tmp