git-gui: Allow committing empty merges