/Teaching/Operating Systems/Tutorials/How To Submit Deliverables

How to submit deliverables

As soon as your work is done, submit it the following way. Note that depending on the type of submission, different tags(!) are required (see below):

git commit -a         # Commits your latest changes
git tag SubmissionD1  # Tags the commit as SubmissionD1
git push              # Pushes the commit onto the server
git push --tags       # Pushes the tag onto the server
git show SubmissionD1 # Delivers you the commit ID

Non-compliance to the guideline will result in point deduction.

You can confirm your submission in the test system.

If you need to resubmit, remove the existing tag using the following commands:

git tag -d SubmissionD1
git push origin :refs/tags/SubmissionD1

Then tag your new submission as before!

If you resubmit after the Deadline, send us an email before(!) pushing the new tag. The new tag may or may not be considered for your submission.