From 7d1d1acbbb757162bde1b22182cd9f59bf8c44c1 Mon Sep 17 00:00:00 2001
From: Emmanuele Bassi <ebassi@linux.intel.com>
Date: Thu, 9 Jun 2011 15:58:34 +0100
Subject: [PATCH] docs: Update the releasing checklist

---
 doc/RELEASING | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/RELEASING b/doc/RELEASING
index 5e1e6fa6d..7b78c6b59 100644
--- a/doc/RELEASING
+++ b/doc/RELEASING
@@ -3,15 +3,16 @@ RELEASING
 
 When making a new release;
 
- - Verify that you don't have uncommitted changes; both:
+ - Verify that you don't have uncommitted and unpublished
+   changes, i.e. both this:
 
-     $ git diff HEAD
+     $ git status
 
-   and:
+   and this:
 
      $ git log master..origin/master
 
-   should be empty.
+   should be empty. Commit and push before the next step.
 
  - Clean your work directory: