gnomeweb-wml not updating?

[Filippo Argiolas <fargiolas gnome org>]

Hi, not sure I should post this here or to gnome-web-list, posting it
here as I'm already subscribed.

I believe that gnome websites are not being updated correctly since a
couple of days.
I did a commit to the cheese website this morning and I still cannot
see the result on projects.g.o, same for other recent commits for
other projects.
The last update log at
http://www.gnome.org/updatelogs/gnomeweb-wml.out is dated June 25, and
seems to confirm the lack of updates.
Any idea? is it a known issue?

Thanks,
Filippo