From 61b1a5ad37ef0f0d95fe092bfc9ec98459adde03 Mon Sep 17 00:00:00 2001
From: ciregenz <ciregenz@berkeley.edu>
Date: Thu, 28 May 2026 00:21:43 -0700
Subject: [PATCH] [eric] ops: gitignore dev-team local state files

---
 docs/ops/.gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 docs/ops/.gitignore

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