From b00d6b560ef1eb72aeeb661378be5acbca4bd2c8 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Mon, 8 Dec 2025 15:38:23 +0100
Subject: [PATCH] foo

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 49a5704ebfdc..3a2df2419a8c 100644
--- a/README.md
+++ b/README.md
@@ -23,3 +23,5 @@ Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
 # Building from Source
 
 See [Building Lean](doc/make/index.md).
+
+foo