In order to let commits to GitHub trigger builds of the documentation on RTD, a web hook needs to be set up on the Github project. Apparently, this can only be done by the owner of the project.
See https://docs.readthedocs.org/en/latest/webhooks.html for details.