Subject: push from one remote to another

From: Olaf Hering <[email-masked]>
Date: Fri, 8 Aug 2014 15:20:22 +0200

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 [email-masked]: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

Is there a way to kind of mirror without doing a checkout, to save
diskspace?

Olaf