diff --git a/labs/grading-and-submission.md b/labs/grading-and-submission.md
index add2dee755d08a3b1f783c72f7809f196dc3524c..577b42eb06f33f89b3f7070e43df83534c2144d9 100644
--- a/labs/grading-and-submission.md
+++ b/labs/grading-and-submission.md
@@ -61,7 +61,7 @@ git commit -am "My message"
 You can then synchronize your local git repository with the gitlab server by
 first running:
 ```shell
- git pull
+ git pull --no-rebase
 ```
 
 This will merge in your local repository any change we made to the lab