CI: check the EN-Revision of the PR head, not of the merge commit - #981
Open
lacatoire wants to merge 1 commit into
Open
CI: check the EN-Revision of the PR head, not of the merge commit#981lacatoire wants to merge 1 commit into
lacatoire wants to merge 1 commit into