From: Jay Soffian <jaysoffian@gmail.com>
Date: Tue, 10 May 2011 12:47:53 GMT
Subject: Re: Separate default remotes for pulling and pushing
Message-ID: <BANLkTimUn9e=5CfDcvQdgNYY4_pqbi8peQ@mail.gmail.com>
In-Reply-To: <20110509220459.GA3719@sigill.intra.peff.net>

On Mon, May 9, 2011 at 6:04 PM, Jeff King <peff@peff.net> wrote:
> I think it is important to note that calling them both "origin" is
> definitely the wrong thing. The proposal is instead that "git push"
> without a remote would default to something besides "origin". For people
> who publish multiple places, it might even make sense for it to be an
> iterative push to each place.

While developing in a particular repo, I constantly have to push to
two compile machines. I just dropped a Makefile into the top of my
working tree:

all: push
amend:
	git amend -a
	git --no-pager diff @{1}
	make push
push:
	make -j 2 mac win
mac:
	git push mac
win:
	git push win

j.