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.