From 47ee17bbfd669a1b8b19a213a699852180423f6e Mon Sep 17 00:00:00 2001 From: nicolas Date: Thu, 4 Jun 2026 10:36:40 -0300 Subject: [PATCH] chore: untrack AGENTS.md, add to .gitignore --- .gitignore | 1 + AGENTS.md | 7 ------- 2 files changed, 1 insertion(+), 7 deletions(-) delete mode 100644 AGENTS.md diff --git a/.gitignore b/.gitignore index 88005ae..b10cc40 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ deploy_amzn.sh build/ triangular_arb.egg-info/ session +AGENTS.md diff --git a/AGENTS.md b/AGENTS.md deleted file mode 100644 index b0a14c0..0000000 --- a/AGENTS.md +++ /dev/null @@ -1,7 +0,0 @@ -Project Rules - -Git Operations: -Do NOT run any git commands (commit, push, merge, rebase, checkout, etc.) without explicit approval. Always present the intended git operation and wait for confirmation before executing. - -File Modifications: -Do NOT modify, create, or delete any files without explicit approval. When changes are needed, present the proposed changes and wait for confirmation before writing.