Greg Stark wrote:
> do we not have --delete on the rsync command? why doesn't the problem
> go away on the next sync if we do?
we do use --delete - but nobody commited after we tagged and before the
problem got reported so the regular on-commit code didn't kick in and
forced syncs only happen once a day.
Stefan