Improve PR label check message#10547

gh-worker-dd-mergequeue-cf854d[bot] merged 1 commit intomasterDataDog/dd-trace-java:masterfrom

bbujon/ciDataDog/dd-trace-java:bbujon/ciCopy head branch name to clipboard