From 06677653ae9e8215a6b5515a8fd579079bccdcf6 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Thu, 19 Sep 2019 20:47:57 +0200
Subject: [PATCH] Add git pull to the instructions

---
 week1/02-grading-and-submission.md | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/week1/02-grading-and-submission.md b/week1/02-grading-and-submission.md
index 91851f4..6bd6199 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
-- 
GitLab