From 963786502ea8e9603d13976c004d88cb13889343 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Wed, 18 Sep 2019 19:20:04 +0200
Subject: [PATCH] Fix instructions for new setup

---
 week1/02-grading-and-submission.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/week1/02-grading-and-submission.md b/week1/02-grading-and-submission.md
index 5eb663d..8e58fb6 100644
--- a/week1/02-grading-and-submission.md
+++ b/week1/02-grading-and-submission.md
@@ -58,12 +58,11 @@ git commit -am "My message"
 You can then synchronize your local git repository with the gitlab server by
 running:
 ```shell
- git push -u origin my-example
+ git push
 ```
 
-(If you've already done this once, you can just do `git push` without
-arguments).  Note that there are also graphical user interfaces to interact
-with git, for example [VSCode has built-in git
+Note that there are also graphical user interfaces to interact with git, for
+example [VSCode has built-in git
 support](https://code.visualstudio.com/docs/editor/versioncontrol#_git-support).
 
 ### Submission
-- 
GitLab