If a "merge style" pull request is created (for example "Merge jdk") and either there isn't a merge commit at HEAD (and the PR can be merge) or the merge commit at HEAD is empty (has no merge resolutions) then add the label "clean" to the PR.