Re: push from one remote to another

Olaf Hering [off-list ref] writes:

What is the correct syntax/setup to push from one remote to another?
I did something like this, to feed a github repo:

 # rm -rf $$
 # mkdir $$
 # cd $$
 # git --init
 # git remote add --tags t git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
 # git remote add --tags o git@github.com:user/repo.git
 # git fetch --all

This syntax does not work for me:
 # git push t master o master
 # git push --tags t master o master

$ git push o remotes/t/master:master

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."