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