Friendly reminder: Tag your submission
Written on 31.01.2021 18:59 by Michael Schwarz
just a friendly reminder in case you have not tagged yet: the deadline is in five hours, so if you want your points, don't forget to tag! Also, ensure that your tag is pushed to the repository (git push --tags). If you see your tag in the git web interface, then it worked.