Delete AGENTS.md again

This was an attempt at making vibecoded PRs slightly more palatable, but it is itself an unpopular move. Fixes #12526.
2026-06-02 05:41:16 -03:00 · 2026-03-19 18:39:50 +01:00
parent 0a07e8dbdf
commit a6959aba2a
1 changed files with 0 additions and 5 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -1,5 +0,0 @@
- to run a system test in the tests/ directory, use `tests/test_driver.py target/debug tests/path/to/test-file`
-
-# Coding style
-
- Use comments sparingly. Don't explain what the code is doing, rather explain why.