Code

git-gui: Always use -v option to push.
authorShawn O. Pearce <spearce@spearce.org>
Fri, 26 Jan 2007 05:49:17 +0000 (00:49 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Fri, 26 Jan 2007 05:49:17 +0000 (00:49 -0500)
commitb972ea59e422588963bda7be8e04c59728accadf
tree0a32195f68608c85c22e7e3dcc22f230fcce82d4
parent86a2af608700896a004be50c939a76a539bdba4d
git-gui: Always use -v option to push.

Right now `git-push -v` is actually not that verbose; it merely adds
the URL it is pushing to.  This can be informative if you are pushing
to a configured remote, as you may not actually remember what URL that
remote is connected to.  That detail can be important if the push
fails and you attempt to communicate the errors to a 3rd party to help
you resolve the issue.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh