[Git][ghc/ghc][wip/davide/no_changelog] CI: lint-changelog checks for no-changelog label in script instead of rules