[Openamp-rp] [OpenAMP/open-amp] 00e0d7: docs: update the readthedocs integration for PRs i...