Paste: factor in github minitutorial

- Setting up a factor repository inside of a github one:
(based on http://www.bluishcoder.co.nz/2007/09/how-to-publish-git-repository.html)
1. Create an empty github repository (named "factor", let's say)
2. Clone a bare factor repository locally:
$ git clone --bare http://www.factorcode.org/git/factor.git factor.git
3. Add github as remote source of this bare repo:
$ cd factor.git
$ git remote add github git@github.com:[username]/factor.git
4. Check out github repo locally to a directory named "factor":
$ git clone git@github.com:[username]/factor.git factor
5. There's now a working copy of the factor source and the factor.git
directory can be deleted.
To set up factor for updates from the main factor branch:
6. Edit factor/.git/config and add the following lines:
[remote "factor"]
url = git://factorcode.org/git/factor.git
fetch = +refs/heads/*:refs/remotes/origin/*
7. Now, to update, all that has to be done is a
$ git pull factor [branch]
where [branch] is probably master.
TODO:
Figure out how to omit the branch name when pulling factor; need to understand
refspec syntax?

I think the best solution is to actually just check out factor like normal and add github as a remote repository. The above may have been an incredibly convoluted way of accomplishing the same thing. I was trying to make sure the github repo was "bare" without really understanding what that meant.
1. Clone factor locally:
$ git clone http://www.factorcode.org/git/factor.git factor
2. Add github as remote source of this bare repo:
$ cd factor
$ git remote add github git@github.com:[username]/factor.git
$ git push github master
Any suggestions?