Re: How to manually update https://help.gnome.org/users/$PROJECT?

[Milan Crha <mcrha redhat com>]

On Wed, 2019-10-02 at 11:58 +0200, Frederic Peters wrote:
> gnome-doc-list@ would be the right place, especially as there are
> plans to redo help.gnome.org. (ditto for developer.gnome.org).

        Hi,
done, thanks.
https://mail.gnome.org/archives/gnome-doc-list/2019-October/msg00000.html

> fwiw if someone familiar with Python wants to look at it

Unfortunately I do not speak pythonish, otherwise I'd be glad to help.
        Thanks and bye,
        Milan