From fdc1b70ed7fe2da4dfdec19a04b13ac8ead2e836 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Tue, 18 May 2010 21:23:13 +0200 Subject: [PATCH 1/1] color-words was bad --- all | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/all b/all index 063ea1aa..80b78de3 100755 --- a/all +++ b/all @@ -660,7 +660,7 @@ case "$cmd" in if [ -n "$note" ]; then reportdo4 echo "$note" reportecho4 "--> not merging, already had this one rejected before" - elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log --color HEAD.."$ref"; git diff --color --color-words --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less -r'; then + elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log --color HEAD.."$ref"; git diff --color --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less -r'; then git checkout master org=`git rev-parse HEAD` if ! git merge "$ref" 2>&1 | tee "$t"; then -- 2.39.2