I set up http://etoys.laptop.org/src/ as a mirror of the git repository. This tracks the git repository contents with a few minutes lag. - Bert -