From 0a83e03afbc97508d135519e6ef60e73f56ba89c Mon Sep 17 00:00:00 2001 From: Neil Roberts Date: Wed, 29 Jun 2011 16:16:25 +0100 Subject: [PATCH] doc/RELEASING: Fix the check for diffs from origin/master The recommended command to check for differences from master to the remote master was using git log with a range from the local master to the remote master but this wouldn't work if the local master is ahead of the remote master because the range is backwards. This patch changes it to recommend git diff --stat instead because then the command would work even if the two branches have diverged. --- doc/RELEASING | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/RELEASING b/doc/RELEASING index 7b78c6b59..d753eb811 100644 --- a/doc/RELEASING +++ b/doc/RELEASING @@ -10,7 +10,7 @@ When making a new release; and this: - $ git log master..origin/master + $ git diff --stat master origin/master should be empty. Commit and push before the next step.