tree 36b3525e80d071abeb6e753a1ce74a6782a31e80
parent 17352078b2afdc1b3fde40d59a940c3a3ca32b5d
author Daniele Sassoli <danielesassoli@gmail.com> 1741557925 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1741595637 -0800

repoPath for GitLab should not add git extension

Gerrit already adds .git extension to the project name when searching
for a project on disk.

Change-Id: I3b61975b59da2385a79a1e4f5a890e10108a6006