Webhooks and services can be enabled in GitHub repo settings to allow third
party services such as ReadTheDocs. The ReadTheDocs service rebuilds the
project documentation whenever a pull request is merged into the GitHub repo.