Synchronise your commits to GitLab

To allow for everyone to use and see your changes, you need to upload the changes to GitLab. Uploading the changes is done by pushing the commits containing your changes. After pushing, you cannot undo the changes anymore. When you made a mistake, you need to make new changes, commit them and push that commit again to change it.

Before you push your on commits you should ensure that your local repository is up to date by pulling all changes that others may have pushed meanwhile. This will be explained in the next sections.

For pushing, use the command:

git push

When you want to push a new branch, which you will do in the next assignment, you need to push in the following way;

git push -u origin <branch_name>

Note that if you set the following option, git will automatically assume that you want to push to the branch with the same name on the remote. If you set it, you can always just use git push.

git config --global push.autoSetupRemote true

Assignment

---

Push the changes you have made so far.