Merge pull request #3501 from github/mbg/ci/dont-label-merged

Merge pull request #3501 from github/mbg/ci/dont-label-merged #4713