Re: Website questions

[Rahul Akolkar]

Unrelated question, but subject still applicable:

Is the site updated manually (mvn site-deploy) or nightly? If
manually, any caveats to be aware of?

-Rahul