From 793be524aacf199ce3a005d2bfa8a9428f4fdcc0 Mon Sep 17 00:00:00 2001
From: Zahary Karadjov <zahary@gmail.com>
Date: Fri, 6 Jun 2025 21:00:18 +0300
Subject: [PATCH] docs: instructions for agents

---
 .github/copilot-instructions.md |  1 +
 AGENTS.md                       | 10 ++++++++++
 2 files changed, 11 insertions(+)
 create mode 120000 .github/copilot-instructions.md
 create mode 100644 AGENTS.md

diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
new file mode 120000
index 00000000..be77ac83
--- /dev/null
+++ b/.github/copilot-instructions.md
@@ -0,0 +1 @@
+../AGENTS.md
\ No newline at end of file
diff --git a/AGENTS.md b/AGENTS.md
new file mode 100644
index 00000000..ea01caa7
--- /dev/null
+++ b/AGENTS.md
@@ -0,0 +1,10 @@
+# Guidelines for Codex Agents
+
+This repository is a devops environment.
+
+When problems arise with the tooling or dependencies, **do not give up**.
+Research the issue online and attempt to resolve it.
+
+You may install additional software either by extending the Nix development
+environment or by using the Ubuntu package manager. The primary goal is to
+overcome environment issues so that the tooling here works correctly.