From a456d26da5acfd6b45b046eb10e02d674611bc44 Mon Sep 17 00:00:00 2001
From: Ruben Beltran del Rio <git@r.bdr.sh>
Date: Sun, 18 May 2025 13:18:38 +0200
Subject: Add README

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..ec3b268
--- /dev/null
+++ b/README.md
@@ -0,0 +1,8 @@
+<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file.  -->
+
+# Proof Repository
+
+This git repository is used a [Crev Proof
+Repository](https://github.com/dpc/crev/wiki/Proof-Repository).
+
+<!-- Feel free to customize this file below this line -->
-- 
cgit