> * auto-update web pages from git commits I just finished this. New repos: gerbvhtdocs pcbhtdocs wwwhtdocs