RFC: patch website for git

[Tom Tromey]

David> Maybe off topic, but ... should we also make the repo available via
David> the http:// protocol?

It is fine by me; but more of an overseers thing than something I plan
to do as part of this project.  If you want, drop a line to that list
and request it (assuming it doesn't already exist...); if it gets set
up, let me know and I will update the various docs.

Tom