Having thought about things a bit, I've reached the conclusion that the configuration file $GIT_DIR/config is trying to hold (at least) three entirely different kinds of configuration. * User configuration: basically, how I like GIT to work for me. I think that the way it represents my name in commit messages is user configuration, as would be the behaviour of `git-commit PATH'. Environment variables almost work for this, but they're a nuisance to change. This stuff ought to be somewhere in my home directory, probably; though it would be useful to override temporarily, or on a per-repository basis. * Project configuration: how GIT should be supporting a particular project. The merge.summary flag is like this, I think: whether to have summaries in merge messages is a policy decision to be taken for a whole project, rather than something to be left to the whims of individual developers. Such settings probably to be propagated through git-clone, git-fetch and so on. * True repository configuration: how this particular repository ought to behave. I can't think of many examples off the top of my head, but core.repositoryformatversion and core.filemode are the sorts of things I'm thinking of. I'm not entirely sure where I'm going with this at the moment, and I don't like some of the complexity which seems inherent in doing anything about it, but I thought I'd stick my oar in anyway. -- [mdw] - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Mon Feb 13 00:46:38 2006
This archive was generated by hypermail 2.1.8 : 2006-02-13 00:46:49 EST