Removed that silly question to push after commit.

diff --git a/tools/make-git b/tools/make-git
index 0205eaee1860d7f301b7f6a14249025bbbb53515..8253b67f743a1ea87e971d21181444e834d5fa3d 100755 (executable)
--- a/tools/make-git
+++ b/tools/make-git
@@ -102,17 +102,6 @@ git_commit() {
        git commit $*
        
        [ "$?" -eq "0" ] || exiterror "git commit $* failed."
-       
-       echo -e "${BOLD}Do you want to push, too? [y/N]${NORMAL}"
-       read
-       [ -z $REPLY ] && return 0
-       for i in y Y j J; do
-               if [ "$i" == "$REPLY" ]; then
-                       git_push
-                       return $?
-               fi
-       done
-       exiterror "\"$REPLY\" is not a valid answer."
 }
 
 git_diff() {