Mirroring: Stop using 'git mirror'
[girocco.git] / jobs / 
tree9eb475231420e5262ee2911a0e466407cdd7b271
drwxr-xr-x   ..
-rw-r--r-- 583 README
-rwxr-xr-x 638 fixup.sh
-rwxr-xr-x 1094 fixupcheck.sh
-rwxr-xr-x 765 updatecheck.sh