get_repo_list users: Fix for the fact that .git suffix is not returned
[girocco/radio.git] / jobs / 
treea47e14da87bcfabe89dd03385a35687d02c1c87a
drwxr-xr-x   ..
-rw-r--r-- 687 README
-rwxr-xr-x 638 fixup.sh
-rwxr-xr-x 875 fixupcheck.sh
-rwxr-xr-x 782 gc.sh
-rwxr-xr-x 287 gccheck.sh
-rwxr-xr-x 362 updatecheck.sh