On Wed, 9 Oct 2019 at 01:28, 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.
Thanks, Joseph. I just pushed a change and although it worked and appeared on gcc.gnu.org, I got an error message during the push: remote: hooks/post-receive: line 14: /www/gcc/updatelog: Permission denied remote: Updating /www/gcc/htdocs/gcc-10/changes.html