remind myself to push tags

diff --git a/RELEASING b/RELEASING
index 4d2e46a..faa04a2 100644 (file)
--- a/RELEASING
+++ b/RELEASING
@@ -5,6 +5,6 @@ Notes to myself on all the steps to make for a Ninja release.
 3. fix version number in src/version.cc (it will likely conflict in the above)
 4. fix version in doc/manual.asciidoc
 5. rebuild manual, put in place on website
-6. commit, tag, push
+6. commit, tag, push (don't forget to push --tags)
 7. construct release notes from prior notes
    credits: git shortlog -s --no-merges REV..