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...@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 Is there a way to kind of mirror without doing a checkout, to save diskspace? Olaf -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
