Given that most of us are away for the next two weeks, we thought it best not to rebuild+publish the JBoss Developer production site every 6 hours, like we currently do. Should something go wrong it is unlikely that we would notice, plus I don’t really want to be on-call to fix it ;-)

I’ll re-enable on January the 5th.