In order to have readthedocs.org update documentation alongside Github commits, we have to have webhooks set up. Instructions from readthedocs.org are here; I'd do it but I can't access the Partisan Discourse repo settings:
Go to the “Settings” page for your project
Click “Webhooks & Services”
In the “Services” section, click “Add service”
In the list of available services, click “ReadTheDocs”
In order to have readthedocs.org update documentation alongside Github commits, we have to have webhooks set up. Instructions from readthedocs.org are here; I'd do it but I can't access the Partisan Discourse repo settings:
http://docs.readthedocs.io/en/latest/webhooks.html https://developer.github.com/webhooks/creating/