repo_type: fix repo detection when github url doesn't end with .git