CI: Disable Jenkins ci-man verify and merge
[ci-management.git] / .github /
drwxr-xr-x   ..
drwxr-xr-x - workflows