Re: [PATCH] user-manual: set user.name and user.email with repo-config

On Sun, 28 Jan 2007, Matthias Lederhofer wrote:

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