Re: Separate default remotes for pulling and pushing
- From
Jay Soffian <jaysoffian@gmail.com>
- Date
- May 10, 2011, 12:47 UTC
- 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:
Show 5 quoted lines
> 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 winj.