Merge "CI: Remove Jenkins gerrit-info-yaml-verify job"