Code

git-gui: Allow committing empty merges