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

[Owen Taylor <otaylor redhat com>]

On Sun, 2009-04-19 at 13:19 -0400, Owen Taylor wrote:
> On Sat, 2009-04-18 at 22:44 -0700, Sandy Armstrong wrote:
> > 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?
> 
> Indeed, not yet implemented. (The mails get sent on commit, but the
> scripts that parse them and trigger builds haven't been updated for
> changes in the mails.) I started working on it yesterday, but I got
> sidetracked with some GNOME Shell work. 
> 
> I'll try to finish up the procmail handling today.
> 
> No real way you can force an update, though someone in the gnomeweb
> group could probably do it manually by looking at how the scripts work.

I think I have this set up now, though I haven't really done any
testing. I gave gnomeweb-wml a manual run after I set up the hook, so
any changes to that done while the updates were unhooked should have
been caught.

- Owen