From 1483bf9f5df922fe8d898ffdaab38ce44d6f38cf Mon Sep 17 00:00:00 2001
From: Alex Hirsch <w4rh4wk@bluephoenix.at>
Date: Tue, 23 Feb 2021 15:41:36 +0100
Subject: [PATCH] Note that tags need to be pushed

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 7f98777..5aa8407 100644
--- a/README.md
+++ b/README.md
@@ -75,6 +75,7 @@ Ensure that the repository does not contain any personal information like names
 ### Final Submission
 
 Add the tag `final` to the revision you want me to look at for the final evaluation.
+Note that tags need to be pushed explicitly.
 
 I'll only evaluate your solution if the corresponding CI job builds and tests your code successfully.