From a6959aba2a4523a70c1069bbcd1ac1e8c0416cf8 Mon Sep 17 00:00:00 2001
From: Fabian Boehm <FHomborg@gmail.com>
Date: Thu, 19 Mar 2026 18:39:50 +0100
Subject: [PATCH] Delete AGENTS.md again

This was an attempt at making vibecoded PRs slightly more palatable,
but it is itself an unpopular move.

Fixes #12526.
---
 AGENTS.md | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 AGENTS.md

diff --git a/AGENTS.md b/AGENTS.md
deleted file mode 100644
index f6ad2d63d..000000000
--- a/AGENTS.md
+++ /dev/null
@@ -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.