diff --git a/week1/02-grading-and-submission.md b/week1/02-grading-and-submission.md
index 91851f4b63c529406435bed50e97107fd97ec3c6..6bd6199cd2b74bc690d830338db70b0a7e0aff7b 100644
--- a/week1/02-grading-and-submission.md
+++ b/week1/02-grading-and-submission.md
@@ -52,9 +52,18 @@ git commit -am "My message"
 ```
 
 You can then synchronize your local git repository with the gitlab server by
-running:
+first running:
 ```shell
- git push
+ git pull
+```
+
+This will merge in your local repository any change we made to the assignment
+(we only change assignments to fix critical bugs found after it's been released,
+so most of the time this will not do anything).
+
+Finally, you can push your changes to gitlab:
+```shell
+git push
 ```
 
 Note that there are also graphical user interfaces to interact with git, for