On 6/5/07, Shawn O. Pearce <spearce@xxxxxxxxxxx> wrote:
Don't we use git-config to edit the config file in git-branch?
Not routinely. Seldom, even
In git-remote? git-gui has *always* used git-config to store its data. You are sort of asking me to replace a working config system with a new one that hasn't been tested...
Just divert the data someplace else.
Now moving the git-gui config to say ~/.gitgui-config and .git/gitgui-config may have a good argument, as then git-gui is editing its own files.
Good argument on its own
Unless the user changes user.name or user.email through git-gui, in which case we have to edit .git/config or ~/.gitconfig anyway...
Yes, then of course (in this case the user is even aware). - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html