ci: lint PR titles instead of individual commits#495

ryuwd merged 1 commit into

DIRACGrid:mainDIRACGrid/diracx-web:mainfrom

aldbr:split/1-pr-title-lintaldbr/diracx-web:split/1-pr-title-lintCopy head branch name to clipboard