Fix instructions for new setup

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