diff --git a/git-gui.sh b/git-gui.sh index c42673c8e3..48e1f821de 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -1285,6 +1285,7 @@ proc push_to {remote} { "push $remote" \ "Pushing changes to $remote"] set cmd [list git push] + lappend cmd -v lappend cmd $remote console_exec $w $cmd }