To clone one of these trees, install git, and run:

git clone git://git.sympy.org/ + project path.

For convenience, the clone URL is available on the status page of any repository.

To push into these trees, run (you need to have an ssh access to this server):

git push git@git.sympy.org:repos/ + project path.

For more information about git, see an overview, the tutorial or the man pages.