CI: Point git sources to gitolite mirror 74/40074/1
[ci-management.git] / .github /
drwxr-xr-x   ..
drwxr-xr-x - workflows