From: Jay Soffian <jaysoffian@gmail.com>
Date: Tue, 10 May 2011 21:12:57 GMT
Subject: Re: Separate default remotes for pulling and pushing
Message-ID: <BANLkTi=V23wUiyQavaCVBJ_vA+gnL9m00w@mail.gmail.com>
In-Reply-To: <20110510202003.GF14456@sigill.intra.peff.net>

On Tue, May 10, 2011 at 4:20 PM, Jeff King <peff@peff.net> wrote:
> Yeah, I have scripts to help with that sort of thing now. But that is
> often an unsatisfactory solution, because either:
>
>  1. Your Makefile is not version-controlled.

Sure, but your .git/config is similarly not version controlled.

>
>  2. Your are polluting the project history with stuff specific to your
>     workflow. I would not get very far proposing that git.git's
>     Makefile contain such a thing. :)
>
> That's how Junio ended up with his "Meta" directory (and I have one,
> too, but with drastically different things in it).

As well. :-)

j.