We should have a few different things here:
- A "Simple" version (edit file in GitHub -> PR -> ping someone -> auto update at 1AM)
- A version for building the website locally
- The full story (e.g., info about rlogin, how to push changes immediately, setting up the chrontab, permissions etc.)
These instructions could either be in the README here, or in a google Doc, linked from the README.
We should have a few different things here:
These instructions could either be in the README here, or in a google Doc, linked from the README.