git-gui: Allow users to edit user.name, user.email from options.

diff --git a/git-gui.sh b/git-gui.sh
index fc74d9e6eaf2f624972a543f4edd06e06627d59b..09c1b74e753a26094612a35cd6b40a86f131def3 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -4270,6 +4270,9 @@ proc do_options {} {
 
        set optid 0
        foreach option {
+               {t user.name {User Name}}
+               {t user.email {Email Address}}
+
                {b merge.summary {Summarize Merge Commits}}
                {i-1..5 merge.verbosity {Merge Verbosity}}
 
@@ -4676,6 +4679,9 @@ proc apply_config {} {
 
 set default_config(merge.summary) false
 set default_config(merge.verbosity) 2
+set default_config(user.name) {}
+set default_config(user.email) {}
+
 set default_config(gui.trustmtime) false
 set default_config(gui.diffcontext) 5
 set default_config(gui.newbranchtemplate) {}