push from one remote to another

2014-08-08 Thread Olaf Hering
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 g

Re: push from one remote to another

2014-08-08 Thread Andreas Schwab
Olaf Hering o...@aepfle.de 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