From 746884c1f9dedd9087d4c918b209347fe44eae0c Mon Sep 17 00:00:00 2001
From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com>
Date: Mon, 2 Mar 2026 15:01:12 +0000
Subject: [PATCH] feat: Add note about name change

Added a note about the name and location change.
---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 28e2cfcc6..b34f96bc4 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,8 @@
+> [!NOTE]
+> Things look different? We've recently undergone a name change and move from /lean-phys-community/PhysLean
+> to /leanprover-community/physlib. Same repo, different location and name. This shouldn't affect
+> the average user, but please be patient as we update things.
+
 
 <div align="center">
 <img src="./docs/PhysLeanLogo.jpeg" alt="PhysLean logo" width="500">