Editing www/index.php Not Going to Site?

[Ryan Schmidt]

On Feb 28, 2014, at 09:54, Jeremy Lavergne <jeremy at lavergne.gotdns.org> wrote:

> I made an edit to the www/index.php, but it doesn’t seem to have deployed. Is immediate deployment expected?
> 
> I’ve got an email ready to send to the admins if this is unexpected behavior.

Last I checked, yes, edits to the web site should be propagated to the live site automatically.