Hi, On Sun, 8 Oct 2006, Petr Baudis wrote: > Dear diary, on Sat, Oct 07, 2006 at 07:32:25PM CEST, I got a letter > where Johannes Schindelin <Johannes.Schindelin@xxxxxx> said that... > > > HOWEVER, Junio pointed out that he'd like a finer grain than per-repo, and > > .gitconfig is a coarser one! > > Actually, that doesn't matter. The point is that it is of _different_ > shape than this division. It's per remote server, even spanning several > repositories. So you want to be able to set it up per the server, at the > most global place possible for a regular user, so ~/.gitconfig might be > good idea. Actually, I do not think that anybody in her right mind would set this to different values for different repos or servers. I _know_ that if I hit that very problem, the next thing I'd do is set the timeout to 5 seconds _globally_. Ciao, Dscho - 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