Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
DOC: only run on merged PRs, and use hash rather than tag (#8)
* DOC: only run on merged PRs, and use hash rather than tag * Fix syntax
- Loading branch information