git-gui: Allow the user to disable diff stat summary during pull.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 21:53:19 +0000 (16:53 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Mon, 13 Nov 2006 05:10:38 +0000 (00:10 -0500)
commitebf336b9422302ec89bce14b83017060d7ccd3e6
tree8fd4481b4e5173fdeb766b853153b3e5032ff389
parent6bbd1cb95aede2991d0748d2a54088f2c1291602
git-gui: Allow the user to disable diff stat summary during pull.

Because the pull diffstat summary can take as long as the pull itself
some users may just choose to disable the summary and save themselves
an extra few seconds during each pull.  This is especially true if the
user really doesn't care about the other files being modified, as due
to their project organizational structure they aren't really responsible
for their content.

This adds an option to the options panel which lets the user disable
the diffstat summary (and thus we pass --no-summary to git-pull) but
there does appear to be a bug in the config saving code where we did
not set the local repo config differently from the global config.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui