gnomeweb-wml pushes not causing website updates. missing a hook?

[Sandy Armstrong <sanfordarmstrong gmail com>]

Hi,

Not really sure where to direct this, but I made an update to the
Tomboy website 3 hours ago:

http://git.gnome.org/cgit/gnomeweb-wml/commit/?id=3d1e649acdc765290de0f4a5abbec5ba0064d25f

I would expect the live site to have updated by now.  Are we missing a
hook or some other infrastructure?  Is there some manual step I can do
to force an update?

Thanks,
Sandy