Get readthedocs auto-published #4
Description
- Auto-build docs on PRs.
- Eventually, fail PRs if docs don't build
- In IDAs, push docs on releases (which should be tagged!)
- In edx-platform, on master merges or weekly or release, push docs to RTFD
{{ message }}