git-gui: Allow users to edit user.name, user.email from options.
commitdb45378165f499dcc4412b4f4b0f4ec5cbc65914
authorShawn O. Pearce <spearce@spearce.org>
Mon, 29 Jan 2007 07:56:07 +0000 (29 02:56 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Mon, 29 Jan 2007 07:56:07 +0000 (29 02:56 -0500)
treed08d061eccea230b8d6d8c1de0f5f9555fc9a067
parentc94dd1c8c2da1601c83443292b4ab34be3ab3358
git-gui: Allow users to edit user.name, user.email from options.

Users may need to be able to alter their user.name or user.email
configuration settings.  If they are mostly a git-gui user they
should be able to view/set these important values from within
the git-gui environment, rather than needing to edit a raw text
file on their local filesystem.

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