Re: What's in git.git
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jun 19, 2006, 08:35 UTC
- Message-ID
- <Pine.LNX.4.63.0606191034350.26329@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <7vy7vta9ae.fsf@assigned-by-dhcp.cox.net>
Hi,
On Mon, 19 Jun 2006, Junio C Hamano wrote:
Show 16 quoted lines
> Petr Baudis <pasky@suse.cz> writes: > > > Dear diary, on Sun, Jun 18, 2006 at 02:26:14PM CEST, I got a letter > > where Johannes Schindelin <Johannes.Schindelin@gmx.de> said that... > > > >> Note that this issue is orthogonal to the need for a user-specific config > >> file. I still think that this one should go in. > > > > I agree as well. > > OK, let's have it then. > > Johannes, this makes your earlier ~/.gitconfig and --no-local > patches no longer applicable, so I'd drop them from "pu" for > now. But I suspect we do want to have per user configuration > that is used as a fallback for per repo configuration, right?
I'll redo the patches, then.
Ciao, Dscho