diff --git a/week1/02-grading-and-submission.md b/week1/02-grading-and-submission.md index 5eb663db9673c515ccd20d9c85acbefa06337979..8e58fb65e3302c568763043ec6391693c0c1d281 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