From 68ea8d3a435ced2bcf588cdea04d02d85c09970a Mon Sep 17 00:00:00 2001
From: Angelica Moreira <48168649+angelica-moreira@users.noreply.github.com>
Date: Wed, 11 Mar 2026 22:27:29 +0000
Subject: [PATCH] move agent readme to repo root as Z3-AGENT.md

---
 .github/agents/README.md => Z3-AGENT.md | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/agents/README.md => Z3-AGENT.md (100%)

diff --git a/.github/agents/README.md b/Z3-AGENT.md
similarity index 100%
rename from .github/agents/README.md
rename to Z3-AGENT.md