X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=5f70b4a25a3147987a8918d73a9d56896c9cfaa5;hp=648983b233f01a75c62dab0b03fb83883d02f855;hb=b730d3b2c80ed87a0e13353be2a35529ba37d278;hpb=6cc00fffaff25a20152ddd04d8c9a11677a88cda diff --git a/all b/all index 648983b2..5f70b4a2 100755 --- a/all +++ b/all @@ -104,7 +104,7 @@ yesno() enter() { - $2 cd "$1" + $2 cd "$1" || exit 1 check_mergeconflict "$1" } @@ -709,7 +709,7 @@ case "$cmd" in git push origin :"${ref#refs/remotes/origin/}" reportecho4 "--> branch deleted" fi - elif [ -n "$note" ]; then + elif [ -z "$branch" ] && [ -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?" '{ echo "$logdata"; echo "$diffdata"; } | less -r'; then