This homepage is maintained by editing files in the git/git.github.io repository on GitHub.

It is meant to be edited collaboratively like a wiki, except that instead of a web form, you get to use a text editor and git. What could be better?

If you want push access, contact [email protected] and provide your GitHub username. You may also send patches by mail (and feel free to cc [email protected] if appropriate).