author | Shawn O. Pearce <spearce@spearce.org> | |
Mon, 29 Jan 2007 07:56:07 +0000 (02:56 -0500) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Mon, 29 Jan 2007 07:56:07 +0000 (02:56 -0500) | ||
commit | db45378165f499dcc4412b4f4b0f4ec5cbc65914 | |
tree | d08d061eccea230b8d6d8c1de0f5f9555fc9a067 | tree | snapshot |
parent | c94dd1c8c2da1601c83443292b4ab34be3ab3358 | commit | diff |
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>
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 | diff | blob | history |