Hack to fix job log links (because crunch still produces identifiers with +K@qr1hi)
-rw-r--r-- 94 .gitignore
drwxr-xr-x - apps
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - docker
drwxr-xr-x - sdk
drwxr-xr-x - services