- 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?