git, webgit

[Patrick Karl]

Thanks for the report.  I've fixed this in git.

 Look at the docs in webgit first, and glance at the contributor's guide.

What are git and webgit?  Where should I have learned that?

Thanks