Code

git-gui: Always use -v option to push.