CI: Repoint git sources to GitHub mirror
[ci-management.git] / extras /
drwxr-xr-x   ..
drwxr-xr-x - bash