From e300ff517daaf87088e89f48c10c911a2bb50a70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20=E2=80=9CNiols=E2=80=9D=20Jeannerod?=
 <nicolas.jeannerod@moduscreate.com>
Date: Mon, 18 Nov 2024 11:28:02 +0100
Subject: [PATCH] Small description of the `infra/` subdirectory

---
 infra/README.org | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 infra/README.org

diff --git a/infra/README.org b/infra/README.org
new file mode 100644
index 00000000..29986825
--- /dev/null
+++ b/infra/README.org
@@ -0,0 +1,25 @@
+#+title: Infra
+
+This directory contains the definition of the VMs that host our infrastructure.
+Their configuration can be updated via NixOps4. Run
+
+#+begin_src sh
+nixops4 deployments list
+#+end_src
+
+to see the available deployments. Given a deployment (eg. ~actions-runners~), run
+
+#+begin_src sh
+nixops4 apply <deployment>
+#+end_src
+
+* Procolix machines
+
+These machines are hosted on the Procolix Proxmox instance, to which
+non-Procolix members of the project do not have access. They host our stable
+infrastructure.
+
+| Machine | Description            | Deployment      |
+|---------+------------------------+-----------------|
+| vm02179 | Forgejo actions runner | actions-runners |
+| vm02186 | Forgejo actions runner | actions-runners |