From 869d64e97ac5acf557c949c2af917db633999f8d Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Tue, 29 Aug 2023 23:24:19 +1000
Subject: [PATCH] chore: update README to reflect beginning stable releases
 (#2477)

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

diff --git a/README.md b/README.md
index 5486647ba7..e449019254 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
-This is the repository for **Lean 4**, which is being actively developed and published as nightly releases.
-Stable point releases are planned for a later date after establishing a robust release process.
+This is the repository for **Lean 4**.
+
+We provide [nightly releases](https://github.com/leanprover/lean4-nightly/releases)
+and have just begun regular [stable point releases](https://github.com/leanprover/lean4/releases).
 
 # About