Howdy guys-- Just wondering how ofter the docs get redeployed to the website? Looks like we're checking in the generated HTML, which is the one type of generated asset that makes sense to check-in (I'm not complaining). Just curious as to how often the workspace on the web machine gets updated to expose the stuff over http.
-bob
