From af580d68fce6860f5591d9b6087c2994bdf89e28 Mon Sep 17 00:00:00 2001
From: leo-starkware <leo@starkware.co>
Date: Wed, 12 Aug 2026 14:34:28 +0300
Subject: [PATCH] Update readme to point to proving repo.

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

diff --git a/README.md b/README.md
index f78e59ec..44506dc0 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,7 @@
+## Repository migration
+
+Starting from end of July 2026, all development on this repository is moved to [`www.github.com/starkware-libs/proving`](https://github.com/starkware-libs/proving).
+
 # Proving Utils Workspace
 
 This workspace contains multiple CLI binaries. Start here, then follow the links to each binary’s README for full usage.