git-gui: Run git-gc rather than git-repack.