Update README.md

Author: fraware

README.md

@@ -27,7 +27,7 @@ Lean Toolchain provides a collection of formally verified cryptographic algorith
 
 ```bash
 # Clone the repository
-git clone https://github.com/lean-toolchain/lean-toolchain.git
+git clone https://github.com/SentinelOps-Remote-CI/lean-toolchain.git
 cd lean-toolchain
 
 # Build the project