From e55ac95301c066f9ca865b7c137ed7f2d77c658c Mon Sep 17 00:00:00 2001
From: Bruno Raoult <braoult@gmail.com>
Date: Sat, 13 Jan 2024 15:57:55 +0100
Subject: [PATCH] fix (another) git URI

---
 README.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.org b/README.org
index e3d4d72..d26be36 100644
--- a/README.org
+++ b/README.org
@@ -31,7 +31,8 @@ $ git clone https://git.raoult.com/bruno/brlib.git
 #+BEGIN_EXAMPLE
 $ git clone git@git.raoult.com:bruno/brlib.git
 $ cd brlib
-$ git remote add github git@github.com/braoult/brlib.git
+$ git remote add github git@github.com:braoult/brlib.git
+$ git fetch --all
 #+END_EXAMPLE
 
 *Add CuTest submodule (optional)*