[HEADSUP] cygwin htdocs moved from CVS to git

[Andrew Schulman]

> The htdocs repo is now accessible via gitweb:
> https://sourceware.org/git/gitweb.cgi?p=cygwin-htdocs.git
> 
> Write access is via ssh, as usual, e.g.
> 
>   $ git clone ssh://sourceware.org/git/cygwin-htdocs.git
>   [...]
>   $ cd cygwin-htdocs
>   $ [edit, edit, edit]
>   $ git commit -a
>   $ git push

I just did this, but the docs haven't been updated online. Is another step
needed to update the working directory on sourceware from the repository?