From 450a371d2b2663a54a492dcd1dac295c53fae9eb Mon Sep 17 00:00:00 2001
From: Andreas Zeidler <andreas.zeidler@zeit.de>
Date: Fri, 20 Dec 2024 16:04:17 +0100
Subject: [PATCH] chore: use `docs/README.md` as the start of the documentation

This way we avoid redundancy while still getting a starting point
on the GitHub repository.
---
 README.md                    | 1 -
 docs/{index.md => README.md} | 0
 2 files changed, 1 deletion(-)
 delete mode 120000 README.md
 rename docs/{index.md => README.md} (100%)

diff --git a/README.md b/README.md
deleted file mode 120000
index 1ba6a214..00000000
--- a/README.md
+++ /dev/null
@@ -1 +0,0 @@
-docs/overview.md
\ No newline at end of file
diff --git a/docs/index.md b/docs/README.md
similarity index 100%
rename from docs/index.md
rename to docs/README.md