On Mon, May 9, 2011 at 6:04 PM, Jeff King <peff@xxxxxxxx> 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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html