get_repo_list users: Fix for the fact that .git suffix is not returned