On Wed, 9 Oct 2019, Joseph Myers wrote: > I've done the move of GCC wwwdocs to git (using the previously posted and > discussed scripts), including setting up the post-receive hook to do the > same things previously covered by the old CVS hooks, and minimal updates > to the web pages dealing with the CVS setup for wwwdocs.
Really, really, cool. Thanks a huge bunch, Joseph! > Note 2: changes may be needed to the process for updating www.gnu.org > and Gerald's validator. The validator *should* be working in this new world now. And I am in contact with webmas...@gnu.org and will update this round as things evolve. (Not an urgency, just important.) Gerald