Git clone from user URL

Code reviewHard24 minMicrosoft style

Your task

Review this Python CI service that clones a user-supplied repo URL, correctly avoiding the shell.