CI: Disable Jenkins ci-man verify and merge
[ci-management.git] / .coafile
2019-04-01 Andrew GrimbergSetup repo administrative files 36/36/1