git-gui: Do not automatically stage file after merge tool finishes