Re: Version control systems

On 5 Aug 2008, at 11:23, Simon Marlow wrote:

(Thomas: is the mirror being automatically updated now?).

No. I have added the sync script as a post-apply hook, but it doesn't seem to work. Maybe I can debug this with Igloo today. / Thomas