From now on, development will now take place on GitHub. To use GitHub instead of the current repo, do the following.
1. Ensure your public ssh keys for all your computers are linked to your account under "Account Settings".
2. Add github to your remote repositories git remote add github git@github.com:Tachyon-Team/Tachyon.git
3. Pull the latest changes from github (when you are in the master branch) git pull github master
4. Push your changes to github. Using the -u option will change the remote tracked branch from the diro repository to the github one (only works with git >= 1.7.1). git push -u github master
Voilà! you have now migrated to github!
Permissions to push and pull have been granted to Bruno, Maxime, Olivier Matz and Marc. Alex will be added once I know his user name. Public read-only access is available using 'git://github.com/Tachyon-Team/Tachyon.git'.
Erick