Bug 816666: Update server and prod push docs.
Merge pull request #542 from pmclanahan/bug-816666-fix-pushing-prod-docs

Bug 816666: Update server and prod push docs.