Browse Source

can't push a detached head

master
Stefan Bodewig 8 years ago
parent
commit
ceb90ef3eb
1 changed files with 0 additions and 1 deletions
  1. +0
    -1
      ReleaseInstructions

+ 0
- 1
ReleaseInstructions View File

@@ -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


Loading…
Cancel
Save