even prettier

diff --git a/all b/all
index e18ca0d81bf2d961891ddaa81da31f9e82c221fa..7ec02158e7c99a8461c4c13ecb8d3a79a4cb51f3 100755 (executable)
--- a/all
+++ b/all
@@ -405,8 +405,10 @@ case "$cmd" in
                                upstream="`repobranch "$d"`"
                        fi
                        logdata=`git log --color "$upstream".."$r"`
                                upstream="`repobranch "$d"`"
                        fi
                        logdata=`git log --color "$upstream".."$r"`

-                       if yesno "Push \"$r\" in $dv?" 'echo "$logdata" | less -r'; then
-                               verbose git push "$rem" HEAD
+                       if [ -n "$logdata" ]; then
+                               if yesno "Push \"$r\" in $dv?" 'echo "$logdata" | less -r'; then
+                                       verbose git push "$rem" HEAD
+                               fi

                        fi
                        if [ x"$submit" = x"-s" ]; then
                                case "$r" in
                        fi
                        if [ x"$submit" = x"-s" ]; then
                                case "$r" in