From: Linus Torvalds Date: Sun, 28 Jan 2007 01:47:49 GMT Subject: Re: [PATCH] user-manual: set user.name and user.email with repo-config Message-ID: In-Reply-To: <20070128013452.GA11244@moooo.ath.cx> On Sun, 28 Jan 2007, Matthias Lederhofer wrote: > > Good point, otoh the git-repo-config manual page is actually the one > documenting .git/config :). Btw, one thing I don't like about "git-repo-config" is the name. Many people thought "git init-db" was confusing, and now we call it just "git init". Can I vote for doing that for "git repo-config" too? Is there something wrong with just calling it "git config"? Especially as it's not even repo-specific. Use "--global", and it has almost nothing at all to do with the particular "repo" you're working with. What would also mean that we'd have the man-page with a simple man git-config which makes tons of sense if it documents both the config file *and* the "git config" program. Or is that too sneaky? Linus