diff options
author | Leo Neat <leosneat@gmail.com> | 2020-02-06 09:33:54 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-06 09:33:54 -0800 |
commit | 52e640af345a6484c37091cbadc6f1aff677d423 (patch) | |
tree | fb8c67c41158d1b42f6feaf9c482dd01287ae2ad /infra/repo_manager.py | |
parent | 6906b57b3cf5db3e335765c321e3d5b564f301b4 (diff) |
[CIFuzz] Fix .strip bug. (#3349)
Diffstat (limited to 'infra/repo_manager.py')
-rw-r--r-- | infra/repo_manager.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/repo_manager.py b/infra/repo_manager.py index 53ac2df4..9910333e 100644 --- a/infra/repo_manager.py +++ b/infra/repo_manager.py @@ -50,7 +50,7 @@ class RepoManager: if repo_name: self.repo_name = repo_name else: - self.repo_name = os.path.basename(self.repo_url).strip('.git') + self.repo_name = os.path.basename(self.repo_url).replace('.git', '') self.repo_dir = os.path.join(self.base_dir, self.repo_name) self._clone() |