From d6a93b8d81ca991978d75777e2ed9f411c92e204 Mon Sep 17 00:00:00 2001
From: Erick Lavoie <erick.lavoie@unibas.ch>
Date: Tue, 26 Sep 2023 19:47:56 +0000
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5aa8a10..bcd87ed 100644
--- a/README.md
+++ b/README.md
@@ -171,7 +171,7 @@ This should output (with different hashes):
 
 ### 4. Implement `crb/repo-merge` (see [API](#crbrepo-merge-src))
 
-Relevant commands are provided under the 'Is Ancestor' and 'Reference' slides.
+Relevant commands are provided under the 'Is Ancestor' and 'Reference' slides. Do not use the 'git pull' command to implement `crb/repo-merge` because it will automatically create a `main` branch that will break the [assumptions](#assumptions).
 
 #### Test
 
-- 
GitLab