CI: Disable Jenkins ci-man verify and merge

No match.