From 4c3c11c8e84bd619ad3e4797a682c8850400135a Mon Sep 17 00:00:00 2001
From: Evan Martin <martine@danga.com>
Date: Thu, 16 May 2013 16:57:52 -0700
Subject: remind myself to push tags

---
 RELEASING | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASING b/RELEASING
index 4d2e46a..faa04a2 100644
--- 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..
-- 
cgit v0.12