diff --git a/ReleaseInstructions b/ReleaseInstructions
index 6cd36274d..7a752fca9 100644
--- a/ReleaseInstructions
+++ b/ReleaseInstructions
@@ -88,7 +88,6 @@ Note: This document was adapted from the one created in the context of
 8.  Commit your changes, tag them, push them.
 
     $ git tag -s -m "Tagging RC1 for version 1.10.0 of Ant" ANT_1.10.0_RC1
-    $ git push
     $ git push --tags
 
 9.  Ensure that the GPG key you use is inside the KEYS file in Ant's