craft/checkout-repository: chop off .git from repo name

Authored by nalvarez on May 18 2020, 6:08 AM.

Description

craft/checkout-repository: chop off .git from repo name

If the repository URL ends in .git (https://invent.kde.org/group/foo.git),
checkout-repository.py assumed that the repository name (and thus the local
directory of the clone) would be "foo.git". Since the "foo.git" directory
didn't exist locally, it tried to clone the repository again, which failed
because "foo" did exist.

Fix by chopping off the final .git from repositoryName.

Details

Committed
nalvarezMay 18 2020, 6:08 AM
Parents
R993:4643d56fb5df: Update custom Android jobs to use invent.kde.org
Branches
Unknown
Tags
Unknown