CI: check the XML structure of the PR head, not of the merge commit - #959

CI: check the XML structure of the PR head, not of the merge commit#959

PhilDaiguille merged 1 commit into

php:masterphp/doc-es:masterfrom

lacatoire:ci/check-xml-pr-headlacatoire/doc-es:ci/check-xml-pr-headCopy head branch name to clipboard