Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Docs: fix for the readthedocs PR rendering
The original procedure worked only when the PR was coming from the same repo that was the target of the PR. This is not normally the case. The original check out has the commit we need. Just use it as the remote, fetch and checkout the commit hash we need. Signed-off-by: Bill Mills <bill.mills@linaro.org>
- Loading branch information