get_repo_list users: Fix for the fact that .git suffix is not returned
[girocco/radio.git] / mirroring / 
tree1a8bcc48a04c05694a045899fd5ecc9215193fb0
drwxr-xr-x   ..
-rwxr-xr-x 1339 clone.sh
-rwxr-xr-x 523 update.sh