Re: Separate default remotes for pulling and pushing
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.
Show 7 quoted lines
>
> 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).