CI: Disable Jenkins ci-man verify and merge