From ceb90ef3eb736227521fd4417d10188d3fcead24 Mon Sep 17 00:00:00 2001
From: Stefan Bodewig <bodewig@apache.org>
Date: Thu, 2 Feb 2017 20:14:24 +0100
Subject: [PATCH] can't push a detached head

---
 ReleaseInstructions | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ReleaseInstructions b/ReleaseInstructions
index 713ace65f..27d4c41f9 100644
--- a/ReleaseInstructions
+++ b/ReleaseInstructions
@@ -87,7 +87,6 @@ Note: This document was updated in the context of releasing Ant
 8.  Commit your changes, tag them, push them.
 
     $ git tag -s -m "Tagging RC1 for version 1.9.7 of Ant" ANT_197_RC1
-    $ git push
     $ git push --tags
 
 9.  Ensure that the GPG key you use is inside the KEYS file in Ant's